Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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
Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time petri nets. IEEE Trans. Software Eng. 17(3), 259–273 (1991)
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)
Brauer, W., Reisig, W., Rozenberg, G. (eds.): APN 1986. LNCS, vol. 254. Springer, Heidelberg (1987)
Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley Professional, Reading (2003)
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)
Clark, J.: RELAX NG Home Page. OASIS (2003), http://www.relaxng.org/
Diaz, M.: Vérification et mise en oeuvre des réseaux de Petri. Hermes Sciences - Lavoisier (2003)
GreatSPN: GRaphical Editor, Analyzer for Timed, and Stochastic Petri Nets, http://www.di.unito.it/~greatspn/
International Organization for Standardization. International harmonized stage codes. ISO, http://www.iso.org/iso/en/widepages/stagetable.html#95
Eclipse Foundation. Eclipse Modeling Framework, http://www.eclipse.org/emf/
Brauer, W., Reisig, W., Rozenberg, G. (eds.): APN 1986. LNCS, vol. 254, pp. 207–247. Springer, Heidelberg (1987)
Parallel Systems Group. Programming Environment based on Petri Nets. University of Oldenburg, http://theoretica.informatik.uni-oldenburg.de/~pep/
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)
ISO/IEC. Software and Systems Engineering - High-level Petri Nets, Part 1: Concepts, Definitions and Graphical Notation, International Standard ISO/IEC 15909 (December 2004)
Jensen, K.: Coloured petri nets - basic concepts, analysis methods and practical use, vol. 3: Practical use. EATCS Monographs on Theoretical Computer Science (1997)
Jensen, K., Rozenberg, G.(eds.): High-Level Petri Nets. Springer, Berlin (1991); NewsletterInfo: 39
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)
Kindler, E.: The petri net markup language and iso/iec 15909-2: Concepts, status, and future directions. In: Entwurf komplexer Automatisierungssysteme (to appear)
Kordon, F., Petrucci, L.: Proposal for an addendum to ISO/IEC 15909-1, document reference MAL-12. NWI For the Malaga Meeting (November 2004)
Modeling and Verification Department. PNML Framework. LIP6, http://www.lip6.fr/pnml
University of Aarhus. Computer Tool for Coloured Petri Nets - CPNTool, http://wiki.daimi.au.dk/cpntools/cpntools.wiki
OMG. MetaObjectFacility 2.0 Core Specification, document no:omg/2003-10-04. OMG (October 2003)
OMG. OCL 2.0 Specification - Version 2.0 ptc/2005-06-06. OMG (June 2005)
The CPN-AMI Home page, http://www.lip6.fr/cpn-ami
Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Inc., Englewood Cliffs (1981)
Popma, R.: Introduction to JET. Azzurri Ltd. (2005), http://eclipse.org/emf/docs.php?doc=tutorials/jet1/jet_tutorial1.html
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)
Reisig, W.: Petri nets and algebraic specifications. Theoretical Computer Science 80, 1–34 (1991), NewsletterInfo: 38,39
AT&T Research. GraphViz, http://www.graphviz.org/
W3C. MathML 2.0, W3C Math Home. W3C, http://www.w3.org/Math/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
Hillah, L., Kordon, F., Petrucci, L., Trèves, N. (2006). PN Standardisation: A Survey. In: Najm, E., Pradat-Peyre, JF., Donzeau-Gouge, V.V. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2006. FORTE 2006. Lecture Notes in Computer Science, vol 4229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11888116_23
Download citation
DOI: https://doi.org/10.1007/11888116_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46219-4
Online ISBN: 978-3-540-46220-0
eBook Packages: Computer ScienceComputer Science (R0)