This papers proposes a translation from IOPT nets, a class of non-autonomous Petri nets, to Place/Transition nets. The translation removes most of the non-autonomous extensions in IOPT net models using a set of behaviorally equivalent submodels. The resulting model is complemented by additional models, which specify the non-autonomous parts, namely signals and events. All models are composed together using net addition, a composition operator. The translation allows the application of analysis and verification Place/Transition tools to IOPT net models. The translation preserves the initial model structure allowing a mapping between the generated model and the initial one, and brings to evidence the level of compactness made possible by IOPT nets.
|Name||Proceedings of the IEEE International Symposium on Industrial Electronics|
|Publisher||Institute of Electrical and Electronics Engineers Inc.|
|Conference||Industrial Electronics (ISIE), 2014 IEEE 23rd International Symposium on|
|Period||1/01/14 → …|