Publicação

Ecore representation for extending PNML for input-output place-transition nets

Ver documento

Detalhes bibliográficos
Resumo:This paper presents a metamodel for the Input-Output Place-Transition nets (IOPT nets), a Petri net class targeted at controllers modeling. The proposed metamodel reuses many of the elements of the Petri Net Markup Language (PNML) metamodel, such as places, transitions, and arcs; it extends the PNML metamodel for Place/Transition nets to comprise concepts inherent to IOPT nets. The IOPT nets metamodel is described in Ecore format, putting IOPT nets in the puzzle of MDA artifacts taking benefit from the MDA infrastructure.
Autores principais:Moutinho, F.
Outros Autores:Gomes, L.; Ramalho, F.; Figueiredo, J.; Barros, João Paulo; Barbosa, P.; Pais, Rui; Costa, A.; Barros, João
Assunto:Ecore representation MDA artifacts PNML metamodel Petri Net Markup Language Biological system modeling Embedded systems Unified modeling language
Ano:2010
País:Portugal
Tipo de documento:comunicação em conferência
Tipo de acesso:acesso restrito
Instituição associada:Instituto Politécnico de Beja
Idioma:inglês
Origem:Repositório Institucional do IPBeja
Descrição
Resumo:This paper presents a metamodel for the Input-Output Place-Transition nets (IOPT nets), a Petri net class targeted at controllers modeling. The proposed metamodel reuses many of the elements of the Petri Net Markup Language (PNML) metamodel, such as places, transitions, and arcs; it extends the PNML metamodel for Place/Transition nets to comprise concepts inherent to IOPT nets. The IOPT nets metamodel is described in Ecore format, putting IOPT nets in the puzzle of MDA artifacts taking benefit from the MDA infrastructure.