Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/5043
Title: | Refining IOPT Petri Nets Class for Embedded System Controller Modeling |
Authors: | Gomes, Luís Barros, João Paulo |
Keywords: | Semantics Petri Nets Tools Syntactics Time-domain analysis Microcontrollers |
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 http://gres.uninova.pt/IOPT-Tools/. 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 |
URI: | http://hdl.handle.net/20.500.12207/5043 |
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 | Size | Format | |
---|---|---|---|---|
2018_IECON_Refining IOPT Petri Nets class for embedded system controller modeling.pdf | 248.25 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License