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 条
  • [21] Deriving unbounded Petri nets from formal languages
    Darondeau, P
    CONCUR'98: CONCURRENCY THEORY, 1998, 1466 : 533 - 548
  • [22] Design and Verification of Distributed Logic Controllers with Application of Petri Nets
    Wisniewski, Remigiusz
    Grobelna, Iwona
    Grobelny, Michal
    Wisniewska, Monika
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
  • [23] The use of Petri nets for the design and verification of asynchronous circuits and systems
    Kondratyev, A
    Kishinevsky, M
    Taubin, A
    Cortadella, J
    Lavagno, L
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1998, 8 (01) : 67 - 118
  • [24] A formal approach for the modelling and verification of multiagent plans based on model checking and Petri nets
    de Almeida, HO
    da Silva, LD
    Perkusich, A
    Casto, ED
    SOFTWARE ENGINEERING FOR MULTI-AGENT SYSTEMS III: RESEARCH ISSUES AND PRACTICAL APPLICATIONS, 2004, 3390 : 162 - 179
  • [25] Automatic Transformation of Ordinary Timed Petri Nets into Event-B for Formal Verification
    Saksupawattanakul, Chalika
    Vatanawood, Wiwat
    ENGINEERING JOURNAL-THAILAND, 2018, 22 (04): : 161 - 175
  • [26] Formal verification method of simulation scenario based on high-level Petri nets
    Control and Simulation Center, Harbin Institute of Technology, Harbin 150001, China
    Kongzhi yu Juece Control Decis, 2006, 11 (1208-1213):
  • [27] Formal verification of complex business processes based on high-level Petri nets
    Kheldoun, Ahmed
    Barkaoui, Kamel
    Ioualalen, Malika
    INFORMATION SCIENCES, 2017, 385 : 39 - 54
  • [28] Formal Modelling and Verification of a Component Model using Coloured Petri Nets and Model Checking
    Oliveira, Elthon
    Almeida, Hyggo
    Silva, Leandro
    APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, : 1427 - +
  • [29] Formal Specification and Verification of Cloud Resource Allocation Using Timed Petri-Nets
    Cheikhrouhou, Saoussen
    Chabouh, Nesrine
    Kallel, Slim
    Maamar, Zakaria
    NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 40 - 49
  • [30] Towards the Formal Verification of SysML Specifications : Translation of Activity Diagrams into Modular Petri Nets
    Rahim, Messaoud
    Hammad, Ahmed
    Boukala-Ioualalen, Malika
    3RD INTERNATIONAL CONFERENCE ON APPLIED COMPUTING AND INFORMATION TECHNOLOGY (ACIT 2015) 2ND INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND INTELLIGENCE (CSI 2015), 2015, : 509 - 516
12345