Utilize este identificador para referenciar este registo:
acessibilidade
http://hdl.handle.net/20.500.12207/646
Título: | An Ecore based Petri net type definition for PNML IOPT models |
Autor: | Ribeiro, J. Moutinho, F. Pereira, F. Barros, João Paulo Gomes, L. |
Palavras-chave: | Automatic generation Automatic programming Petri nets |
Data: | 2011 |
Citação: | [IEEE style] J. Ribeiro, F. Moutinho, F. Pereira, J. P. Barros, and L. Gomes, "An Ecore based Petri net type definition for PNML IOPT models," in IEEE International Conference on Industrial Informatics (INDIN), 2011, pp. 777-782. |
Resumo: | 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 guidelines to extend PNML and to fully support automatic generation of models state space. The validation of this revised metamodel and the corresponding PNTD were made through case studies. The new concepts introduced in the metamodel have demonstrated their validity and usefulness, in the automatic generation of executable code and the state space. The correctness of the RELAX NG grammar was also validated through case studies. |
Descrição: | 9th IEEE International Conference on Industrial Informatics (INDIN)Location:New Univ Lisbon, Campus Fac Sci & Technol, Lisbon, PORTUGALDate:JUL 26-29, 2011 Book Series:IEEE International Conference on Industrial Informatics INDIN |
Arbitragem científica: | yes |
URI: | http://hdl.handle.net/20.500.12207/646 |
ISBN: | 978-1-4577-0434-5 |
Aparece nas coleções: | D-ENG - Comunicações com peer review |
Ficheiros deste registo:
Não existem ficheiros associados a este registo.
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.