In: Lecture Notes in Computer Science, Vol. 3761, pages 1381-1397. 2005.
Abstract: The necessity of interoperability among Petri net tools has led to the development of the PNML (Petri Net Markup Language) standard. By adopting PNML, tools mainly concentrated on modeling activities should generate PNML files to be analyzed by analysis-specific Petri net tools. In this context, we propose an extension to the PNML based on MOF (Meta Object Facility). The implementation of the MOF metamodel enables us to manager Petri net specifications within MOF repositories. In order to illustrate our approach, we present a case study.