Advertisement

The Petri Net Markup Language: Concepts, Technology, and Tools

  • Jonathan Billington
  • Søren Christensen
  • Kees van Hee
  • Ekkart Kindler
  • Olaf Kummer
  • Laure Petrucci
  • Reinier Post
  • Christian Stehno
  • Michael Weber
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2679)

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.

Keywords

Meta Model Reference Node Scalable Vector Graphic Interchange Format Convention Document 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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.Google Scholar
  2. 2.
    F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri net notation. Petri Net Newsletter, 49:9–27, October 1995.Google Scholar
  3. 3.
    G. Berthelot, J. Vautherin, and G. Vidal-Naquet. A syntax for the description of Petri nets. Petri Net Newsletter, 29:4–15, April 1988.Google Scholar
  4. 4.
    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.Google Scholar
  5. 5.
    J. Clark. TREX — tree regular expressions for XML. URL http://www.thaiopensource.com/trex/. 2001/01/20.Google Scholar
  6. 6.
    J. Clark (ed.). XSL Transformations (XSLT) Version 1.0. URL http://www.w3.org/TR/XSLT/xslt.html, 1999.Google Scholar
  7. 7.
    J. Clark and M. Murata (eds.). RELAX NG specification. URL http://www.oasis-open.org/committees/relax-ng/. 2001/12/03.Google Scholar
  8. 8.
    CPN Tools. URL http://www.daimi.au.dk/CPNtools. 2001/09/11.Google Scholar
  9. 9.
    J. Desel, G. Juhás, R. Lorenz, and C. Neumair. Modelling and validation with VipTool. In Conference on Business Process Management, Tool Presentation, 2003.Google Scholar
  10. 10.
    Design/CPN. URL http://www.daimi.au.dk/designCPN/. 2001/09/21.Google Scholar
  11. 11.
    J. Ferraiolo, F. Jun, and D. Jackson (eds.). Scalable Vector Graphics (SVG) 1.1 Specification. URL http://www.w3.org/TR/SVG11/, 2003.Google Scholar
  12. 12.
    ISO/IEC/JTC1/SC7. Subdivision of project 7.19 for a Petri net standard. ISO/IEC/JTC1/SC7 N1441, October 1995.Google Scholar
  13. 13.
    ISO/IEC/JTC1/SC7. Software Engineering-High-Level Petri Nets-Concepts, Definitions and Graphical Notation. ISO/IEC 15909-1, Final Committee Draft, May 2002.Google Scholar
  14. 14.
    ISO/IEC/JTC1/SC7 WG19. New proposal for a standard on Petri net techniques. ISO/IEC/JTC1/SC7 N2658, June 2002.Google Scholar
  15. 15.
    M. Jüngel, E. Kindler, and M. Weber. The Petri Net Markup Language. Petri Net Newsletter, 59:24–29, 2000.Google Scholar
  16. 16.
    S. Katz and O. Grumberg. VeriTech: Translating among specifications and verification tools. Technical report, The Technion, Haifa, Israel, March 1999.Google Scholar
  17. 17.
    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.Google Scholar
  18. 18.
    A. M. Koelmans. PNIF language definition. Technical report, Computing Science Department, University of Newcastle upon Tyne, UK, July 1995. version 2.2.Google Scholar
  19. 19.
    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.Google Scholar
  20. 20.
    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.Google Scholar
  21. 21.
    The Model-Checking Kit. URL http://wwwbrauer.in.tum.de/gruppen/theorie/KIT/. 2003/02/18.Google Scholar
  22. 22.
    The PEP Tool. URL http://parsys.informatik.uni-oldenburg.de/~pep/. 2002/07/29.Google Scholar
  23. 23.
    The Petri Net Kernel. URL http://www.informatik.hu-berlin.de/top/pnk/. 2001/11/09.Google Scholar
  24. 24.
    Petri Net Markup Language. URL http://www.informatik.hu-berlin.de/top/pnml/. 2001/07/19.Google Scholar
  25. 25.
    Renew: The Reference Net Workshop. URL http://www.renew.de. 2002/03/04.Google Scholar
  26. 26.
    M. Sperberg-McQueen and H. Thompson (eds.). XML Schema. URL http://www.w3.org/XML/Schema, April 2000. 2002-03-22.Google Scholar
  27. 27.
    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.Google Scholar
  28. 28.
    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.Google Scholar
  29. 29.
    G. Wheeler. A textual syntax for describing Petri nets. Foresee design document, Telecom Australia Research Laboratories, 1993. version 2.Google Scholar
  30. 30.
    The XML C library for Gnome. URL http://xmlsoft.org. 2003/01/23.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Jonathan Billington
    • 1
  • Søren Christensen
    • 2
  • Kees van Hee
    • 3
  • Ekkart Kindler
    • 4
  • Olaf Kummer
    • 5
  • Laure Petrucci
    • 6
  • Reinier Post
    • 3
  • Christian Stehno
    • 7
  • Michael Weber
    • 8
  1. 1.Computer Systems Engineering CentreUniversity of South AustraliaAustralia
  2. 2.Department of Computer ScienceUniversity of AarhusAarhus
  3. 3.Department of Math. and Computer ScienceTechnische Universiteit EindhovenEindhoven
  4. 4.Department of Computer ScienceUniversity of PaderbornPaderborn
  5. 5.CoreMedia AGGermany
  6. 6.Laboratoire Spécification et Vérification, CNRS UMR 8643ENS de CachanFrance
  7. 7.Department of Computing ScienceCarl von Ossietzky University OldenburgOldenburg
  8. 8.Computer Science DepartmentHumboldt-Universität zu BerlinBerlin

Personalised recommendations