An Ecore based Petri net type definition for PNML IOPT models

In this paper we present a new Input-Output Place-Transition (IOPT) Petri net metamodel and its Petri Net Type Definition (PNTD) using a RELAX NG grammar. This new version introduces changes to the previous metamodel to ensure that the model representation follows the International Standard guidelin...

Full description

Bibliographic Details
Main Author: Ribeiro, J. (author)
Other Authors: Moutinho, F. (author), Pereira, F. (author), Barros, João Paulo (author), Gomes, L. (author)
Format: conferenceObject
Language:eng
Published: 2013
Subjects:
Automatic generation
Automatic programming
Petri nets
Online Access:http://hdl.handle.net/20.500.12207/646
Country:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/646

Internet

http://hdl.handle.net/20.500.12207/646

Similar Items