Petri Nets formalism requires standardisation to facilitate the work of researchers in this field and to enable the data exchange between different Petri Nets tools through a common format. Following this, a three-part International Standard (ISO/IEC 15909) has been developed. Part 1 is devoted to terms and definitions for Place/Transition Nets and High-Level Petri Nets. It is now completed (published as a standard) but will include an addendum on Symmetric Nets. Part 2 aims at providing a transfer format for High-level Petri Nets, called PNML, based on XML. Work on part 3 which deals with extensions has not started yet. In this paper the first two parts of the standard are presented. Then, to support part 2, an implementation of PNML, through an API framework to be integrated into Petri Net tools, is proposed. It allows for the translation of any Petri Net, designed by a given tool in a dedicated format, into PNML.


Core Model Object Constraint Language Concrete Syntax Tool Developer Eclipse Modeling Framework 


  1. 1.
    Bastide, R., Buchs, D., Buffo, M., Kordon adn, F., Sy, O.: Characteristics of currently used petri nets. Technical report, Univ. P. & M. Curie (2000), Available at: http://www-src.lip6.fr/homepages/Fabrice.Kordon/PN_STD_WWW/Qresult.html
  2. 2.
    Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time petri nets. IEEE Trans. Software Eng. 17(3), 259–273 (1991)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The petri net markup language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483–505. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Brauer, W., Reisig, W., Rozenberg, G. (eds.): APN 1986. LNCS, vol. 254. Springer, Heidelberg (1987)MATHGoogle Scholar
  5. 5.
    Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley Professional, Reading (2003)Google Scholar
  6. 6.
    Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: On Well-Formed Coloured Nets and their symbolic reachability graph. In: Rozenberg, G., Jensen, K. (eds.) High Level Petri Nets. Theory and Application. LNCS, Springer, Heidelberg (1991)Google Scholar
  7. 7.
    Clark, J.: RELAX NG Home Page. OASIS (2003), http://www.relaxng.org/
  8. 8.
    Diaz, M.: Vérification et mise en oeuvre des réseaux de Petri. Hermes Sciences - Lavoisier (2003)Google Scholar
  9. 9.
    GreatSPN: GRaphical Editor, Analyzer for Timed, and Stochastic Petri Nets, http://www.di.unito.it/~greatspn/
  10. 10.
    International Organization for Standardization. International harmonized stage codes. ISO, http://www.iso.org/iso/en/widepages/stagetable.html#95
  11. 11.
    Eclipse Foundation. Eclipse Modeling Framework, http://www.eclipse.org/emf/
  12. 12.
    Brauer, W., Reisig, W., Rozenberg, G. (eds.): APN 1986. LNCS, vol. 254, pp. 207–247. Springer, Heidelberg (1987)MATHGoogle Scholar
  13. 13.
    Parallel Systems Group. Programming Environment based on Petri Nets. University of Oldenburg, http://theoretica.informatik.uni-oldenburg.de/~pep/
  14. 14.
    Hillah, L., Kordon, F., Petrucci, L., Trèves, N.: Model engineering on petri nets for iso/iec 15909-2: Api framework for petri net types metamodels. Petri Net Newsletter (69), 22–40 (2005)Google Scholar
  15. 15.
    ISO/IEC. Software and Systems Engineering - High-level Petri Nets, Part 1: Concepts, Definitions and Graphical Notation, International Standard ISO/IEC 15909 (December 2004)Google Scholar
  16. 16.
    Jensen, K.: Coloured petri nets - basic concepts, analysis methods and practical use, vol. 3: Practical use. EATCS Monographs on Theoretical Computer Science (1997)Google Scholar
  17. 17.
    Jensen, K., Rozenberg, G.(eds.): High-Level Petri Nets. Springer, Berlin (1991); NewsletterInfo: 39Google Scholar
  18. 18.
    Kindler, E.: Software and Systems Engineering - High-level Petri Nets. Part2: Transfert Format. Working Draft for the International Standard ISO/IEC 15909 Part 2 - Version 0.9.0 (June 2005)Google Scholar
  19. 19.
    Kindler, E.: The petri net markup language and iso/iec 15909-2: Concepts, status, and future directions. In: Entwurf komplexer Automatisierungssysteme (to appear)Google Scholar
  20. 20.
    Kordon, F., Petrucci, L.: Proposal for an addendum to ISO/IEC 15909-1, document reference MAL-12. NWI For the Malaga Meeting (November 2004)Google Scholar
  21. 21.
    Modeling and Verification Department. PNML Framework. LIP6, http://www.lip6.fr/pnml
  22. 22.
    University of Aarhus. Computer Tool for Coloured Petri Nets - CPNTool, http://wiki.daimi.au.dk/cpntools/cpntools.wiki
  23. 23.
    OMG. MetaObjectFacility 2.0 Core Specification, document no:omg/2003-10-04. OMG (October 2003)Google Scholar
  24. 24.
    OMG. OCL 2.0 Specification - Version 2.0 ptc/2005-06-06. OMG (June 2005)Google Scholar
  25. 25.
    The CPN-AMI Home page, http://www.lip6.fr/cpn-ami
  26. 26.
    Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Inc., Englewood Cliffs (1981)MATHGoogle Scholar
  27. 27.
    Popma, R.: Introduction to JET. Azzurri Ltd. (2005), http://eclipse.org/emf/docs.php?doc=tutorials/jet1/jet_tutorial1.html
  28. 28.
    Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science, original edition, vol. 4. Springer, Heidelberg (1985); NewsletterInfo: 19 translation of the German: W. Reisig, Petrinetze (1982)Google Scholar
  29. 29.
    Reisig, W.: Petri nets and algebraic specifications. Theoretical Computer Science 80, 1–34 (1991), NewsletterInfo: 38,39Google Scholar
  30. 30.
    AT&T Research. GraphViz, http://www.graphviz.org/
  31. 31.
    W3C. MathML 2.0, W3C Math Home. W3C, http://www.w3.org/Math/

Copyright information

© IFIP International Federation for Information Processing 2006

Authors and Affiliations

  • L. Hillah
    • 1
  • F. Kordon
    • 1
  • L. Petrucci
    • 2
  • N. Trèves
    • 3
  1. 1.Université P. & M. Curie - Paris 6, CNRS UMR 7606 – LIP6/MoVeParis CEDEX 05France
  2. 2.LIPN, CNRS UMR 7030, Université Paris XIIIVilletaneuseFrance
  3. 3.Cedric, CNAMParis Cedex 03France

Personalised recommendations