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

Full description

Bibliographic Details
Main Author: Moutinho, F. (author)
Other Authors: Gomes, L. (author), Ramalho, F. (author), Figueiredo, J. (author), Barros, João Paulo (author), Barbosa, P. (author), Pais, Rui (author), Costa, A. (author)
Format: conferenceObject
Language:eng
Published: 2013
Subjects:
Ecore representation
MDA artifacts
PNML metamodel
Petri Net Markup Language
Biological system modeling
Embedded systems
Unified modeling language
Online Access:http://hdl.handle.net/20.500.12207/635
Country:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/635
Description
Summary: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.

Similar Items