In: Petri Net Technology for Communication-Based Systems, pages 124-144. Volume 2472 of Lecture Notes in Computer Science / Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg and Herbert Weber (Eds.) --- Springer-Verlag, November 2003.
Abstract: The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. PNML supports any version of Petri net since new Petri net types can be defined by so-called Petri Net Type Definitions (PNTD). In this paper, we present the syntax and the semantics of PNML as well as the principles underlying its design. Moreover, we present an extension called modular PNML, which is a type independent module concept for Petri nets.