ISOIEC15909-2.PDFVIP

A primer on the Petri Net Markup Language and ISO/IEC 15909-2? L.M. Hillah, UPMC CNRS UMR 7606, Paris E. Kindler, Technical University of Denmark (DTU), Lyngby F. Kordon, UPMC CNRS UMR 7606, Paris L. Petrucci, University Paris 13 CNRS UMR 7030, Villetaneuse N. Trèves, CNAM Cedric, Paris 1 Introduction In 2000, there was a workshop [1] that should foster the definition of a standard transfer format for Petri nets as a satellite event of the annual ‘Petri Net Conference’ in Aarhus. As a result of this first workshop, after many other discussions and meetings, the Petri Net Markup Language (PNML) is about to be finally adopted as ISO/IEC 15909-2. Over the years, PNML has evolved and, unfortunately, there are many different intermediate versions and variants, that are still in use. With this paper, we would like to report on the final result and on PNML as it is defined in ISO/IEC 15909-2. This way, we hope to unify the different lines of PNML and advertise the use of ISO/IEC 15909-2. Note that this paper is not a copy or exact reproduction of ISO/IEC 15909-2 (which, including all Annexes, has more than 100 pages). Rather it is a restructured excerpt that focuses on the most important issues and abstracts from some technical details, which can be found in ISO/IEC 15909-2. Most of the technical details can be derived from the RELAX NG grammars provided at the PNML web pages [17]. Together, this should provide a fair account of the standard, its ideas and concepts, and its practical use. For a in-depth discussion of the rationales and design decisions behind PNML, we refer to the bunch of earlier publications [2, 15, 4, 18, 19] Though not an exact copy of ISO/IEC 15909-2, this paper reuses material of ISO/IEC 15909-2 with some modifications and simplifications with the kind permission of ISO/IEC, Geneva. Originally, PNML was introduced as an interchange format for all kinds of Petri nets [2, 3, 4]. Some major concepts of PNML were driven by this objective. Technically