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

共 13 条

[1] [Anonymous], Petri Nets Tool Database
[2] Barros J., 2004, PROCEEDINGS OF THE 2
[3] DAVID, 1992, PETRI NETS GRAFCET T
[4] Frey G, 2000, P AMER CONTR CONF, P3172, DOI 10.1109/ACC.2000.879150
[5] Frey G, 2006, WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, P473
[6] Gomes L., 2007, PROCEEDINGS OF THE 5
[7] Structuring and composability issues in Petri nets modeling
Gomes, Luis
Barros, Joao Paulo
[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2005, 1 (02) : 112 - 123
[8] Hanisch H.-M., 2000, Fundamenta Informaticae, V41, P415
[9] Reisig W., 2012, Petri nets: an introduction, V4
[10] Snoopy-a unifying Petri net framework to investigate biomolecular networks
Rohr, Christian
Marwan, Wolfgang
Heiner, Monika
[J]. BIOINFORMATICS, 2010, 26 (07) : 974 - 975

← 1 2 →