Refining IOPT Petri Nets Class for Embedded System Controller Modeling

Please use this identifier to cite or link to this item: http://hdl.handle.net/20.500.12207/5043

Full metadata record

wcag
DC Field	Value	Language
dc.contributor.author	Gomes, Luís	-
dc.contributor.author	Barros, João Paulo	-
dc.date.accessioned	2019-11-26T14:56:51Z	-
dc.date.available	2019-11-26T14:56:51Z	-
dc.date.issued	2018-10	-
dc.identifier.uri	http://hdl.handle.net/20.500.12207/5043	-
dc.description.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.	por
dc.language.iso	eng	por
dc.publisher	IEEE	por
dc.rights	openAccess	por
dc.rights.uri	http://creativecommons.org/licenses/by-nc/4.0/	por
dc.subject	Semantics	por
dc.subject	Petri Nets	por
dc.subject	Tools	por
dc.subject	Syntactics	por
dc.subject	Time-domain analysis	por
dc.subject	Microcontrollers	por
dc.title	Refining IOPT Petri Nets Class for Embedded System Controller Modeling	por
dc.type	article	por
dc.peerreviewed	yes	por
degois.publication.location	Washington, DC, USA.	por
degois.publication.title	IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society	por
dc.identifier.doi	10.1109/IECON.2018.8592921	por
Appears in Collections:	D-ENG - Comunicações com peer review