Skip to main content
SpringerLink
Log in

The Petri Net Markup Language

  • Chapter
Petri Net Technology for Communication-Based Systems

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2472))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bastide, R., Billington, J., Kindler, E., Kordon, F., Mortensen, K.H. (eds.): Meeting on XML/SGML based Interchange Formats for Petri Nets, Århus, Denmark (June 2000); 21st ICATPN

    Google Scholar 

  2. Clark, J.: TREX - tree regular expressions for XML (January 20, 2001), http://www.thaiopensource.com/trex/

  3. Clark, J., Murata, M. (eds.): RELAX NG specification (December 03, 2001), http://www.oasis-open.org/committees/relax-ng/

  4. Design/CPN (September 21, 2001), http://www.daimi.au.dk/designCPN/

  5. Kindler, E., Weber, M.: The Petri Net Kernel - an infrastructure for building Petri net tools. Software Tools for Technology Transfer (STTT) 3(4), 486–497 (2001)

    MATH  Google Scholar 

  6. Kindler, E., Weber, M.: A universal module concept for Petri nets. an implementation-oriented approach. Informatik-Berichte 150. Humboldt- Universität zu Berlin (June 2001)

    Google Scholar 

  7. Lüder, A., Hanisch, H.-M.: A signal extension for Petri nets and its use in controller design. Fundamenta Informaticae 41(4), 415–431 (2000)

    MATH  Google Scholar 

  8. Mailund, T., Mortensen, K.H.: Separation of style and content with XML in an interchange format for high-level Petri nets. In: Bastide, et al. [1], pp. 7–11

    Google Scholar 

  9. The Moses Project (March 04, 2002), http://www.tik.ee.ethz.ch/~moses

  10. Petri Net Kernel (November 09, 2001), http://www.informatik.hu-berlin.de/top/pnk/

  11. Renew: The Reference Net Workshop (March 04, 2002), http://www.renew.de

  12. World Wide Web Consortium (W3C) (ed.). Extensible Markup Language (XML) (October 06, 2000), http://www.w3.org/XML/

  13. World Wide Web Consortium (W3C) (ed.). XML Schema (May 02, 2001), http://www.w3.org/XML/Schema

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Humboldt-Universität zu Berlin,  

    Michael Weber

  2. Fakultät für Informatik, Technische Universität München,  

    Ekkart Kindler

Authors
  1. Michael Weber
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ekkart Kindler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Technische Universität Berlin, Germany

    Hartmut Ehrig

  2. Institut für Informatik, Humboldt-Universität zu Berlin, Unter den Linden 6, 10099, Berlin, Germany

    Wolfgang Reisig

  3. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

  4. Computergestützte InformationsSysteme (CIS), Technische Universität Berlin, Germany

    Herbert Weber

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Weber, M., Kindler, E. (2003). The Petri Net Markup Language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds) Petri Net Technology for Communication-Based Systems. Lecture Notes in Computer Science, vol 2472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40022-6_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-40022-6_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20538-8

  • Online ISBN: 978-3-540-40022-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation