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

ver descrição completa

Detalhes bibliográficos
Autor principal: Ribeiro, J. (author)
Outros Autores: Moutinho, F. (author), Pereira, F. (author), Barros, João Paulo (author), Gomes, L. (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2013
Assuntos:
Texto completo:http://hdl.handle.net/20.500.12207/646
País:Portugal
Oai:oai:repositorio.ipbeja.pt:20.500.12207/646