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.
Original language | English |
---|---|
Title of host publication | Proceedings: IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Pages | 4720-4725 |
Number of pages | 6 |
ISBN (Electronic) | 9781509066841 |
DOIs | |
Publication status | Published - 26 Dec 2018 |
Event | 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018 - Washington, United States Duration: 20 Oct 2018 → 23 Oct 2018 |
Conference
Conference | 44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018 |
---|---|
Country/Territory | United States |
City | Washington |
Period | 20/10/18 → 23/10/18 |
Keywords
- Design tools
- Microcontrollers
- Model-driven development
- Petri nets