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.#R##N##R##N#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.
['Lom-Messan Hillah', 'Fabrice Kordon', 'Laure Petrucci', 'Nicolas Trèves']
PNML framework: an extendable reference implementation of the petri net markup language