Skip navigation
Please use this identifier to cite or link to this item:

Title: Refining IOPT Petri Nets Class for Embedded System Controller Modeling
Authors: Gomes, Luís
Barros, João Paulo
Keywords: Semantics
Petri Nets
Time-domain analysis
Issue Date: Oct-2018
Publisher: IEEE
Abstract: Since its inception, the Input-Output Place-Transition (IOPT) class of Petri nets have changed in response to the gained experience in the use of its associated tools freely available as a cloud based toolset. Here, we informally present the current state of the IOPT net class as supported by the IOPT-Tools, publicly available at The corresponding formal syntax and semantics are presented, followed by an illustrative example. Finally, we give a brief presentation of the respective XML-based interchange format and conclude.
Peer reviewed: yes
metadata.dc.identifier.doi: 10.1109/IECON.2018.8592921
Appears in Collections:D-ENG - Comunicações com peer review

Files in This Item:
File Description SizeFormat 
2018_IECON_Refining IOPT Petri Nets class for embedded system controller modeling.pdf248.25 kBAdobe PDFView/Open

FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Currículo DeGóis 

This item is licensed under a Creative Commons License Creative Commons