Towards the use of Place/Transition net tools for analysis of IOPT models

João Paulo Barros, Luís Filipe dos Santos Gomes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.
Original languageEnglish
Title of host publication2014 IEEE 23rd International Symposium on Industrial Electronics, ISIE
Pages1141-1146
DOIs
Publication statusPublished - 2014
EventIndustrial Electronics (ISIE), 2014 IEEE 23rd International Symposium on -
Duration: 1 Jan 2014 → …

Publication series

NameProceedings of the IEEE International Symposium on Industrial Electronics
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISSN (Print)2163-5137

Conference

ConferenceIndustrial Electronics (ISIE), 2014 IEEE 23rd International Symposium on
Period1/01/14 → …

Fingerprint Dive into the research topics of 'Towards the use of Place/Transition net tools for analysis of IOPT models'. Together they form a unique fingerprint.

  • Cite this

    Barros, J. P., & Gomes, L. F. D. S. (2014). Towards the use of Place/Transition net tools for analysis of IOPT models. In 2014 IEEE 23rd International Symposium on Industrial Electronics, ISIE (pp. 1141-1146). [6864774] (Proceedings of the IEEE International Symposium on Industrial Electronics). https://doi.org/10.1109/ISIE.2014.6864774