Refining IOPT petri nets class for embedded system controller modeling

Luís Gomes, João Paulo Barros

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

19 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings: IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages4720-4725
Number of pages6
ISBN (Electronic)9781509066841
DOIs
Publication statusPublished - 26 Dec 2018
Event44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018 - Washington, United States
Duration: 20 Oct 201823 Oct 2018

Conference

Conference44th Annual Conference of the IEEE Industrial Electronics Society, IECON 2018
Country/TerritoryUnited States
CityWashington
Period20/10/1823/10/18

Keywords

  • Design tools
  • Microcontrollers
  • Model-driven development
  • Petri nets

Fingerprint

Dive into the research topics of 'Refining IOPT petri nets class for embedded system controller modeling'. Together they form a unique fingerprint.

Cite this