Abstract
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of Petri nets, PNML allows the definition of Petri net types.Due to this flexibility, PNML is a starting point for a standard interchange format for Petri nets. This paper discusses the design principles, the basic concepts, and the underlying XML technology of PNML. The main purpose of this paper is to disseminate the ideas of PNML and to stimulate discussion on and contributions to a standard Petri net interchange format.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R. Bastide, J. Billington, E. Kindler, F. Kordon, and K.H. Mortensen, editors. Meeting on XML/SGML based Interchange Formats for Petri Nets, Århus, Denmark, June 2000. 21st ICATPN.
F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri net notation. Petri Net Newsletter, 49:9–27, October 1995.
G. Berthelot, J. Vautherin, and G. Vidal-Naquet. A syntax for the description of Petri nets. Petri Net Newsletter, 29:4–15, April 1988.
B. Bos, H. W. Lie, C. Lilley, and I. Jacobs (eds.). Cascading Style Sheets, level 2 — CSS2 Specification. URL http://www.w3.org/TR/CSS2, 1998.
J. Clark. TREX — tree regular expressions for XML. URL http://www.thaiopensource.com/trex/. 2001/01/20.
J. Clark (ed.). XSL Transformations (XSLT) Version 1.0. URL http://www.w3.org/TR/XSLT/xslt.html, 1999.
J. Clark and M. Murata (eds.). RELAX NG specification. URL http://www.oasis-open.org/committees/relax-ng/. 2001/12/03.
CPN Tools. URL http://www.daimi.au.dk/CPNtools. 2001/09/11.
J. Desel, G. Juhás, R. Lorenz, and C. Neumair. Modelling and validation with VipTool. In Conference on Business Process Management, Tool Presentation, 2003.
Design/CPN. URL http://www.daimi.au.dk/designCPN/. 2001/09/21.
J. Ferraiolo, F. Jun, and D. Jackson (eds.). Scalable Vector Graphics (SVG) 1.1 Specification. URL http://www.w3.org/TR/SVG11/, 2003.
ISO/IEC/JTC1/SC7. Subdivision of project 7.19 for a Petri net standard. ISO/IEC/JTC1/SC7 N1441, October 1995.
ISO/IEC/JTC1/SC7. Software Engineering-High-Level Petri Nets-Concepts, Definitions and Graphical Notation. ISO/IEC 15909-1, Final Committee Draft, May 2002.
ISO/IEC/JTC1/SC7 WG19. New proposal for a standard on Petri net techniques. ISO/IEC/JTC1/SC7 N2658, June 2002.
M. Jüngel, E. Kindler, and M. Weber. The Petri Net Markup Language. Petri Net Newsletter, 59:24–29, 2000.
S. Katz and O. Grumberg. VeriTech: Translating among specifications and verification tools. Technical report, The Technion, Haifa, Israel, March 1999.
E. Kindler and M. Weber. A universal module concept for Petri nets. An implementation-oriented approach. Informatik-Berichte 150, Humboldt-Universität zu Berlin, June 2001.
A. M. Koelmans. PNIF language definition. Technical report, Computing Science Department, University of Newcastle upon Tyne, UK, July 1995. version 2.2.
R. B. Lyngsø and T. Mailund. Textual interchange format for high-level Petri nets. In Proc. Workshop on Practical use of Coloured Petri Nets and Design/CPN, pages 47–63, Department of Computer Science, University of Århus, Denmark, 1998. PB-532.
T. Mailund and K.H. Mortensen. Separation of style and content with XML in an interchange format for high-level Petri nets. In J. Billington, E. Kindler, F. Kordon, and K.H. Mortensen, editors. Meeting on XML/SGML based Interchange Formats for Petri Nets, Århus, Denmark, June 2000 Bastide et al. [1], pages 7–11.
The Model-Checking Kit. URL http://wwwbrauer.in.tum.de/gruppen/theorie/KIT/. 2003/02/18.
The PEP Tool. URL http://parsys.informatik.uni-oldenburg.de/~pep/. 2002/07/29.
The Petri Net Kernel. URL http://www.informatik.hu-berlin.de/top/pnk/. 2001/11/09.
Petri Net Markup Language. URL http://www.informatik.hu-berlin.de/top/pnml/. 2001/07/19.
Renew: The Reference Net Workshop. URL http://www.renew.de. 2002/03/04.
M. Sperberg-McQueen and H. Thompson (eds.). XML Schema. URL http://www.w3.org/XML/Schema, April 2000. 2002-03-22.
C. Stehno. Petri Net Markup Language: Implementation and Application. In J. Desel and M. Weske, editors, Promise 2002, Lecture Notes in Informatics P-21, pages 18–30. Gesellschaft für Informatik, 2002.
M. Weber and E. Kindler. The Petri Net Kernel. In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Petri Net Technology for Communication Based Systems, Lecture Notes in Computer Science 2472. Springer, Berlin Heidelberg, 2002. To appear.
G. Wheeler. A textual syntax for describing Petri nets. Foresee design document, Telecom Australia Research Laboratories, 1993. version 2.
The XML C library for Gnome. URL http://xmlsoft.org. 2003/01/23.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Billington, J. et al. (2003). The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds) Applications and Theory of Petri Nets 2003. ICATPN 2003. Lecture Notes in Computer Science, vol 2679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44919-1_31
Download citation
DOI: https://doi.org/10.1007/3-540-44919-1_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40334-0
Online ISBN: 978-3-540-44919-5
eBook Packages: Springer Book Archive