An Ecore based Petri net Type Definition for PNML IOPT Models

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

11 Citations (Scopus)

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.
Original languageUnknown
Title of host publicationIEEE International Conference on Industrial Informatics
Pages777 - 782
DOIs
Publication statusPublished - 1 Jan 2011
Event9th IEEE International Conference on Industrial Informatics (INDIN) - Lisbon, Portugal
Duration: 26 Jul 201129 Jul 2011

Conference

Conference9th IEEE International Conference on Industrial Informatics (INDIN)
CountryPortugal
CityLisbon
Period26/07/1129/07/11

Cite this