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 条

[31] Autonomous underwater vehicle: Petri net based hybrid control of mission and motion
Chang, ZH
Bian, XQ
Shi, XC
PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2004, : 1113 - 1118
[32] Verification of batch plant using timed Petri net model
Li, HG
Swani, AH
System Simulation and Scientific Computing, Vols 1 and 2, Proceedings, 2005, : 861 - 865
[33] Verification of asynchronous circuits using Time Petri Net unfolding
Semenov, A
Yakovlev, A
33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996, 1996, : 59 - 62
[34] A coloured Petri net approach to protocol verification
Billington, J
Gallasch, GE
Han, B
LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 210 - 290
[35] Verification of Service Replaceability with Colored Petri Net
Liu, Ying
Zhang, Bin
Wang, De-shuai
Zhang, Ming-wei
Zhu, Zhi-liang
2009 INTERNATIONAL SYMPOSIUM ON INTELLIGENT UBIQUITOUS COMPUTING AND EDUCATION, 2009, : 400 - +
[36] Petri net modeling and verification of transactional workflows
Klai, Kais
Gaaloul, Walid
2011 20TH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2011, : 176 - 184
[37] Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping
Fonseca i Casas, Pau
Lijia Hu, Daniel
Guasch i Petit, Antoni
Figueras i Jove, Jaume
APPLIED SCIENCES-BASEL, 2020, 10 (04):
[38] Constructing Petri Net Models Using Genetic Search
Reid, D. J.
Mathematical and Computer Modelling (Oxford), 1998, 27 (08):
[39] An Overview of Maintenance Strategies Using Petri Net Models
Hristoski, Ilija
Dimovski, Tome
NEW TECHNOLOGIES, DEVELOPMENT AND APPLICATION VI, VOL 1, 2023, 687 : 470 - 477
[40] Analysis of Petri net models using transitive matrix
Song, YJ
Lee, JK
SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3122 - 3127

← 1 2 3 4 5 →