Publications

You will find here a comprehensive list of papers about the ISO/IEC 15909 standard. You may find bibtex references of papers which are published in conferences on DBLP.

[ToPNoC]
Extending PNML Scope: a Framework to Combine Petri Nets Types
L.M. Hillah and F. Kordon and C. Lakos and L. Petrucci, Transactions on Petri Nets and Other Models of Concurrency, Springer 2012, LNCS 7400 (VI), pp.46-70
[Génie logiciel]
Standardisation des réseaux de Petri : état de l'art et enjeux futurs
L.M. Hillah et L. Petrucci, Génie Logiciel 93:5--10, Juin 2010.
[Pdf]
A primer on the Petri Net Markup Language and ISO/IEC 15909-2
L.M. Hillah and E. Kindler and F. Kordon and L. Petrucci and N. Trèves, Petri Net Newsletter 76:9--28, October 2009 (originally presented at the 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools -- CPN'09)
[Paper on CPN'09 site]
The Petri Net Markup Language and ISO/IEC 15909-2
L.M. Hillah and E. Kindler and F. Kordon and L. Petrucci and N. Trèves, CPN Workshop 2009
[Pdf]
PN standardisation: a survey
L. Hillah and F. Kordon and L. Petrucci and N. Trèves, Sep. 2006
International Conference on Formal Methods for Networked and Distributed Systems (FORTE), LNCS volume 4229,  pages 307-322
[Pdf]
PNML: Concept, Status and Future Directions
Ekkart Kindler, May 2006
Entwurf Komplexer Automatisierungssysteme (EKA), volume 9,  pages 35-55
[Pdf]
Proceedings of the Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets
Ekkart Kinder (ed.), Jun. 2004
Satellite event of the 25th International Conference on Application and Theory of Petri Nets 2004. Bologna, Italy, Jun. 26, 2004.
[Pdf]
The Petri Net Markup Language: Concepts, Technology, and Tools
Jonathan Billington and Søren Christensen and Kees van Hee and Ekkart Kindler and Olaf Kummer and Laure Petrucci and Reinier Post and Christian Stehno and Michael Weber, Mar. 2003
24th International Conference on Application and Theory of Petri Nets 2003, LNCS volume 2679,  pages 483-505
This paper discusses the design principles, the basic concepts, and the underlying XML technology of PNML. The main purpose is to disseminate the ideas of PNML and to stimulate the discussion on and contributions to a standard Petri net interchange format. This paper is a preliminary version of a submission to the conference proceedings of the ICATPN 2003 that was held in Eindhoven, The Netherlands, Jun. 2003.
[Pdf]
The Petri Net Markup Language
Michael Weber and Ekkart Kindler , 2003
Petri Net Technology for Communication-Based Systems – Advances in Petri Nets, LNCS volume 2472,  pages 124-144
This paper describes the motivation and the realization of the Petri Net Markup Language. It was submitted to the volume "Petri Net Technology for Communication Based Systems" within the LNCS series "Advances in Petri Nets".
[Ps]
A Universal Module Concept for Petri Nets. An Implementation-Oriented Approach
Ekkart Kindler, Jun. 2001
This paper describes the extension of former versions of PNML such that Petri nets can be built in a modular way.
[Ps]
The Petri Net Markup Language
Matthias Jüngel and Ekkart Kindler and Michael Weber, Aug. 2000
This paper may serve as a detailed starting point for the development of a standard interchange format. The paper has been submitted to the workshop AWPN, Koblenz, Germany, October 2000.
[Ps]
Towards a Generic Interchange Format for Petri Nets – Position paper
Matthias Jüngel and Ekkart Kindler and Michael Weber, Apr. 2000
21st ICATPN Meeting on XML/SGML based Interchange Formats for Petri Nets, Aarhus, Denmark, Jun. 2000, pages 1-5