PNML Framework: an extendable reference implementation of the Petri Net Markup Language

Lom Hillah (1) , Fabrice Kordon (1) , Laure Petrucci (2) , Nicolas Treves (3)

1 MoVe - Modélisation et Vérification
2 LIPN - Laboratoire d'Informatique de Paris-Nord
3 CEDRIC - Centre d'études et de recherche en informatique et communications

The International Standard on Petri nets, ISO/IEC 15909, provides a formal semantics and syntax to enable model interchange and industrial dissemination. Part 2 defines a concrete interchange format as an XML-based language: PNML. This language is bound to evolve together with future developments of the standard. This paper presents PNML Framework, a companion implementation of the standard. It provides developers of Petri net tools with a convenient and fast way to implement support of PNML documents. It abstracts away from any XML explicit manipulation and ensures compliance with the standard by using APIs.

Domaines: Informatique [cs]; Systèmes embarqués

Lom Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Treves. PNML Framework: an extendable reference implementation of the Petri Net Markup Language. 31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), Jun 2010, Braga, Portugal. pp.318-327, ⟨10.1007/978-3-642-13675-7_20⟩. ⟨hal-01125746⟩