DocumentCode :
3519991
Title :
An Ecore based Petri net type definition for PNML IOPT models
Author :
Ribeiro, José ; Moutinho, Filipe ; Pereira, Fernando ; Barros, João Paulo ; Gomes, Luís
Author_Institution :
Fac. de Cienc. e Tecnol., Univ. Nova de Lisboa, Lisbon, Portugal
fYear :
2011
fDate :
26-29 July 2011
Firstpage :
777
Lastpage :
782
Abstract :
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.
Keywords :
ISO standards; Petri nets; XML; grammars; program compilers; simulation languages; Ecore based Petri net type definition; PNML IOPT models; Petri net metamodel; RELAX NG grammar; automatic executable code generation; automatic model generation; input-output place-transition; international standard guidelines; model representation; Biological system modeling; Documentation; Grammar; Heating; Signal resolution; Syntactics; XML;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Industrial Informatics (INDIN), 2011 9th IEEE International Conference on
Conference_Location :
Caparica, Lisbon
Print_ISBN :
978-1-4577-0435-2
Electronic_ISBN :
978-1-4577-0433-8
Type :
conf
DOI :
10.1109/INDIN.2011.6034992
Filename :
6034992
Link To Document :
بازگشت