11.3.1 Formal Verification in System Design Process: From EFFBDs to Petri nets

被引：0
|
作者：
Seidner, Charlotte [1 ]
Lerat, Jean-Philippe [1 ]
Roux, Olivier H. [2 ]
机构：
[1] Sodius, 6 rue de Cornouaille BP 91941, Cedex 3, Nantes,44319, France
[2] IRCCyN, 1 rue de la Noë BP 92 101, Cedex 3, Nantes,44321, France
来源：
INCOSE International Symposium | 2008年 / 18卷 / 01期
关键词：
D O I：
10.1002/j.2334-5837.2008.tb00877.x
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1273 / 1283
相关论文
共 50 条
  • [31] Formal Verification of UML2 Timing Diagrams based on Time Petri Nets
    Louati, Aymen
    Barkaoui, Kamel
    INTERNATIONAL JOURNAL OF INFORMATION SYSTEMS IN THE SERVICE SECTOR, 2016, 8 (02) : 87 - 97
  • [32] Verification of Archive System Opacity With Bounded Labeled Petri Nets
    Liu, Zhenzhong
    IEEE ACCESS, 2024, 12 : 57185 - 57193
  • [33] Landing system verification based on Petri nets and a hybrid approach
    Villani, Emilia
    Miyagi, Paulo Eigi
    Valette, Robert
    IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 2006, 42 (04) : 1420 - 1436
  • [34] Supervisor Design with Petri Nets for Asymmetrical System
    Feng, Aixiang
    Luo, Xionglin
    PROCEEDINGS OF THE 10TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA 2012), 2012, : 628 - 632
  • [35] Formalization and Verification of Business Process Modeling Based on UML and Petri Nets
    颜志军
    甘仞初
    Journal of Beijing Institute of Technology(English Edition), 2005, (02) : 212 - 216
  • [36] Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra
    Dmitry A.Zaitsev
    Tatiana R.Shmeleva
    Jan Friso Groote
    IEEE/CAA Journal of Automatica Sinica, 2019, 6 (03) : 733 - 742
  • [37] Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra
    Zaitsev, Dmitry A.
    Shmeleva, Tatiana R.
    Groote, Jan Friso
    IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2019, 6 (03) : 733 - 742
  • [38] Formal Transformation from Sequence Diagrams to Coloured Petri Nets
    Bowles, Juliana
    Meedeniya, Dulani
    17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010), 2010, : 216 - 225
  • [39] From Petri nets to formal description techniques and protocol engineering
    Luo, Junzhou
    Shen, Jun
    Gu, Guanqun
    Ruan Jian Xue Bao/Journal of Software, 2000, 11 (05): : 606 - 615
  • [40] Design and Verification of Real-Life Processes With Application of Petri Nets
    Grobelna, Iwona
    Wisniewski, Remigiusz
    Grobelny, Michal
    Wisniewska, Monika
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2017, 47 (11): : 2856 - 2869
12345