Utilize este identificador para referenciar este registo:
acessibilidade
http://hdl.handle.net/20.500.12207/5043
Título: | Refining IOPT Petri Nets Class for Embedded System Controller Modeling |
Autor: | Gomes, Luís Barros, João Paulo |
Palavras-chave: | Semantics Petri Nets Tools Syntactics Time-domain analysis Microcontrollers |
Data: | Out-2018 |
Editora: | IEEE |
Resumo: | 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. |
Arbitragem científica: | yes |
URI: | http://hdl.handle.net/20.500.12207/5043 |
DOI: | 10.1109/IECON.2018.8592921 |
Aparece nas coleções: | D-ENG - Comunicações com peer review |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
2018_IECON_Refining IOPT Petri Nets class for embedded system controller modeling.pdf | 248.25 kB | Adobe PDF | Ver/Abrir |
Este registo está protegido por Licença Creative Commons