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

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

ver descrição completa

Detalhes bibliográficos
Autor principal: Moutinho, F. (author)
Outros Autores: Gomes, L. (author), Ramalho, F. (author), Figueiredo, J. (author), Barros, João Paulo (author), Barbosa, P. (author), Pais, Rui (author), Costa, A. (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2013
Assuntos:
Ecore representation
MDA artifacts
PNML metamodel
Petri Net Markup Language
Biological system modeling
Embedded systems
Unified modeling language
Texto completo:http://hdl.handle.net/20.500.12207/635
País:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/635
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.

Registos relacionados