TY - GEN
T1 - Towards the use of Place/Transition net tools for analysis of IOPT models
AU - Barros, João Paulo
AU - Gomes, Luís Filipe dos Santos
N1 - This work is financed by National Funds through Portuguese Agency "FCT - Fundacao para a Ciencia e a Tecnologia" in the framework of project PTDC/EEI-AUT/2641/2012.
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
U2 - 10.1109/ISIE.2014.6864774
DO - 10.1109/ISIE.2014.6864774
M3 - Conference contribution
T3 - Proceedings of the IEEE International Symposium on Industrial Electronics
SP - 1141
EP - 1146
BT - 2014 IEEE 23rd International Symposium on Industrial Electronics, ISIE
T2 - Industrial Electronics (ISIE), 2014 IEEE 23rd International Symposium on
Y2 - 1 January 2014
ER -