Please use this identifier to cite or link to this item:
|Title:||On the verification of non-autonomous Petri net models using autonomous petri net tools|
|Authors:||Barros, João Paulo|
|Citation:||[IEEE style] J. P. Barros, L. Gomes, A. Costa, and I. I. E. Society, "On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools," 38th Annual Conference on Ieee Industrial Electronics Society (Iecon 2012), pp. 6138-6143, 2012 2012.|
|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.|
|Appears in Collections:||D-ENG - Artigos em revistas com peer review|
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.