On the verification of non-autonomous Petri net models using autonomous petri net tools

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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.
Original languageUnknown
Title of host publication38th Annual Conference on IEEE Industrial Electronics Society (IECON 2012)
Pages6138 -6143
Volume372
ISBN (Electronic)978-1-4673-2420-5
DOIs
Publication statusPublished - 1 Jan 2012
EventIECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society -
Duration: 1 Jan 2012 → …

Conference

ConferenceIECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society
Period1/01/12 → …

Cite this

Gomes, L. F. D. S., Costa, A. K. H. D., & DEE Group Author (2012). On the verification of non-autonomous Petri net models using autonomous petri net tools. In 38th Annual Conference on IEEE Industrial Electronics Society (IECON 2012) (Vol. 372, pp. 6138 -6143) https://doi.org/10.1109/IECON.2012.6389077