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.
|Title of host publication||38th Annual Conference on IEEE Industrial Electronics Society (IECON 2012)|
|Publication status||Published - 1 Jan 2012|
|Event||IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society - |
Duration: 1 Jan 2012 → …
|Conference||IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society|
|Period||1/01/12 → …|
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