Refining IOPT Petri Nets Class for Embedded System Controller Modeling

Detalhes bibliográficos
Autor(a) principal: Gomes, Luís
Data de Publicação: 2018
Outros Autores: Barros, João Paulo
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/20.500.12207/5043
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.
id RCAP_91ba55cebf30d1ddfbf4e0e06e280bd6
oai_identifier_str oai:repositorio.ipbeja.pt:20.500.12207/5043
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Refining IOPT Petri Nets Class for Embedded System Controller ModelingSemanticsPetri NetsToolsSyntacticsTime-domain analysisMicrocontrollersSince 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.IEEE2019-11-26T14:56:51Z2018-10-01T00:00:00Z2018-10-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/20.500.12207/5043eng10.1109/IECON.2018.8592921Gomes, LuísBarros, João Pauloinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-06-23T07:47:32Zoai:repositorio.ipbeja.pt:20.500.12207/5043Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T14:59:23.666341Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Refining IOPT Petri Nets Class for Embedded System Controller Modeling
title Refining IOPT Petri Nets Class for Embedded System Controller Modeling
spellingShingle Refining IOPT Petri Nets Class for Embedded System Controller Modeling
Gomes, Luís
Semantics
Petri Nets
Tools
Syntactics
Time-domain analysis
Microcontrollers
title_short Refining IOPT Petri Nets Class for Embedded System Controller Modeling
title_full Refining IOPT Petri Nets Class for Embedded System Controller Modeling
title_fullStr Refining IOPT Petri Nets Class for Embedded System Controller Modeling
title_full_unstemmed Refining IOPT Petri Nets Class for Embedded System Controller Modeling
title_sort Refining IOPT Petri Nets Class for Embedded System Controller Modeling
author Gomes, Luís
author_facet Gomes, Luís
Barros, João Paulo
author_role author
author2 Barros, João Paulo
author2_role author
dc.contributor.author.fl_str_mv Gomes, Luís
Barros, João Paulo
dc.subject.por.fl_str_mv Semantics
Petri Nets
Tools
Syntactics
Time-domain analysis
Microcontrollers
topic Semantics
Petri Nets
Tools
Syntactics
Time-domain analysis
Microcontrollers
description 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.
publishDate 2018
dc.date.none.fl_str_mv 2018-10-01T00:00:00Z
2018-10-01T00:00:00Z
2019-11-26T14:56:51Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/20.500.12207/5043
url http://hdl.handle.net/20.500.12207/5043
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1109/IECON.2018.8592921
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv IEEE
publisher.none.fl_str_mv IEEE
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799129866955653120

Registros relacionados