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 → …|