Refining IOPT Petri Nets Class for Embedded System Controller Modeling

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 IO...

Full description

Bibliographic Details
Main Author: Gomes, Luís (author)
Other Authors: Barros, João Paulo (author)
Format: article
Language:eng
Published: 2019
Subjects:
Semantics
Petri Nets
Tools
Syntactics
Time-domain analysis
Microcontrollers
Online Access:http://hdl.handle.net/20.500.12207/5043
Country:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/5043

Internet

http://hdl.handle.net/20.500.12207/5043

Similar Items