Skip to main content
SpringerLink
Log in
Book cover

International Conference on Applications and Theory of Petri Nets

PETRI NETS 2010: Applications and Theory of Petri Nets pp 318–327Cite as

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6128))

Abstract

The International Standard on Petri nets, ISO/IEC 15909, provides a formal semantics and syntax to enable model interchange and industrial dissemination. Part 2 defines a concrete interchange format as an XML-based language: PNML. This language is bound to evolve together with future developments of the standard.

This paper presents PNML Framework, a companion implementation of the standard. It provides developers of Petri net tools with a convenient and fast way to implement support of PNML documents. It abstracts away from any XML explicit manipulation and ensures compliance with the standard by using APIs.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Choppy, C., Mayero, M., Petrucci, L.: Experimenting formal proofs of Petri Nets refinements. In: Proc. Workshop REFINE (associated with FM2008), Turku, Finland, May 2008. Electronic Notes in Theor. Comp. Sci., vol. 214, pp. 231–254. Elsevier Science, Amsterdam (2008)

    Google Scholar 

  2. Eclipse Foundation. Eclipse Modeling Framework, http://www.eclipse.org/emf/

  3. Hillah, L., Kindler, E., Kordon, F., Petrucci, L., Trèves, N.: A primer on the Petri Net Markup Language and ISO/IEC 15909-2. In: Petri Net Newsletter (originally presented at the 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools – CPN 2009), October 2009, vol. 76, pp. 9–28 (2009), http://www.cs.au.dk/CPnets/events/workshop09/assets/paper06.pdf

  4. The Coloane home page (2009), http://coloane.lip6.fr/

  5. The CPN-AMI home page (2009), http://www.lip6.fr/cpn-ami

  6. The PNML Framework home page (2009), http://pnml.lip6.fr/

  7. INRIA. The Coq Proof Assistant home page (2009), http://coq.inria.fr/

  8. ISO/IEC/SC7/WG19. The Petri Net Markup Language home page (2009), http://www.pnml.org

Download references

Author information

Authors and Affiliations

  1. CNRS UMR 7606 - LIP6/MoVe, Université P. & M. Curie - Paris 6, 4, place Jussieu, F-75252, Paris CEDEX 05, France

    L. M. Hillah & F. Kordon

  2. LIPN, CNRS UMR 7030, Université Paris XIII, 99, avenue Jean-Baptiste Clément, F-93430, Villetaneuse, France

    L. Petrucci

  3. Cedric, CNAM, 292, rue St Martin, F-75141, Paris Cedex 03, France

    N. Trèves

Authors
  1. L. M. Hillah
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Kordon
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. L. Petrucci
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. N. Trèves
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Technologies, Åbo Akademi University, Joukahainengatan 3-5, 20520, Turku, Finland

    Johan Lilius

  2. Institute of Computer Science, Polish Academy of Sciences, Ordona 21, 01-237, Warsaw, Poland

    Wojciech Penczek

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hillah, L.M., Kordon, F., Petrucci, L., Trèves, N. (2010). PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. In: Lilius, J., Penczek, W. (eds) Applications and Theory of Petri Nets. PETRI NETS 2010. Lecture Notes in Computer Science, vol 6128. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13675-7_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13675-7_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13674-0

  • Online ISBN: 978-3-642-13675-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation