On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools

被引：0
|
作者：
Barros, Joao Paulo [1 ]
Gomes, Luis [2 ]
Costa, Aniko [2 ]
机构：
[1] ESTIG, Inst Politecn Beja, Braganca, Portugal
[2] Univ Nova Lisboa, Fac Ciencias Tecn & UNINOVA, Lisbon, Portugal
来源：
38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012) | 2012年
关键词：
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
This paper shows how to transform the input part of a class of non-autonomous Petri net models into behaviorally equivalent autonomous models. To that end, it proposes a set of transformations and compositions to replace non-autonomous annotations by structurally equivalent net modules. The resulting model can be analyzed by existing tools for autonomous Place/Transition nets supporting a maximal step semantics and, preferably, priorities in transitions. This possibility was tested using a freely available analysis tool for Place/Transition nets.
引用
收藏
页码：6138 / 6143
页数：6
相关论文
共 50 条
  • [21] Integration of robotics components and verification using petri net
    Srivastava, Ratnesh Prasad
    Nandi, G. C.
    2017 INTERNATIONAL CONFERENCE ON INNOVATIONS IN CONTROL, COMMUNICATION AND INFORMATION SYSTEMS (ICICCI-2017), 2017, : 80 - 86
  • [22] Verification of Concurrent Programs Using Petri Net Unfoldings
    Dietsch, Daniel
    Heizmann, Matthias
    Klumpp, Dominik
    Naouar, Mehdi
    Podelski, Andreas
    Schaetzle, Claus
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 174 - 195
  • [23] Petri net transformations in the Petri Net Baukasten
    Braatz, B.
    Ehrig, H.
    Urbášek, M.
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2472 : 37 - 65
  • [24] Petri net model and performance evaluation of an autonomous decentralized network system
    Kamei, M
    Sugasawa, Y
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1999, 38 (11-12) : 165 - 173
  • [25] Petri net transformations in the "Petri Net Baukasten"
    Braatz, B
    Ehrig, H
    Urbásek, M
    PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS: ADVANCES IN PETRI NETS, 2003, 2472 : 37 - 65
  • [26] Modeling and analyzing biomedical processes using workflow/Petri Net models and tools
    Peleg, M
    Tu, S
    Manindroo, A
    Altman, RB
    MEDINFO 2004: PROCEEDINGS OF THE 11TH WORLD CONGRESS ON MEDICAL INFORMATICS, PT 1 AND 2, 2004, 107 : 74 - 78
  • [27] New Petri net controller for distributed Petri net
    Dohi, Y
    Takano, W
    Horiguchi, T
    Murakoshi, H
    IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, 1998, : 143 - 148
  • [28] Petri Net distributed simulation using HLA based on Petri net components
    Combettes, S
    Nketsa, A
    Modelling and Simulation 2003, 2003, : 503 - 507
  • [29] Verification of embedded systems using a Petri net based representation
    Cortés, LA
    Eles, P
    Peng, Z
    13TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, PROCEEDINGS, 2000, : 149 - 155
  • [30] Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools
    Hillah, Lom Messan
    Kordon, Fabrice
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2017, 2017, 10258 : 125 - 135
12345