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...
Autor principal: | |
---|---|
Outros Autores: | , , , |
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 |