PN standardisation: A survey

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4229 LNCS, Issue , 2006, Pages 307-322

  Hillah, L ^a   Kordon, F ^a   Petrucci, L ^b   Treves N ^c  

^a SORBONNE UNIVERSITÉ   (France)

^b Laboratoire d'Informatique de Paris Nord Villetaneuse   (France)

^c University of Paris Cité   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATA TRANSFER; STANDARDS; TRANSLATION (LANGUAGES); XML; ELECTRONIC DATA INTERCHANGE; FORMAL METHODS; STANDARDIZATION;

API FRAMEWORKS; DATA EXCHANGE; SYMMETRIC NETS; COMMON FORMAT; HIGH-LEVEL PETRI NETS; INTERNATIONAL STANDARDS; ISO/IEC;

PETRI NETS;

EID: 33750574928     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11888116_23     Document Type: Conference Paper

References (31)

1. R. Bastide, D. Buchs, M. Buffo, and F. Kordon adn O. Sy. characteristics of currently used petri nets. Technical report, Univ. P. & M. Curie, available at http://www-src.1ip6.fr/homepages/Fabrice.Kordon/PN_STD_WWW/Qresult. html, 2000.
2. Bernard Berthomieu and Michel Diaz. Modeling and verification of time dependent systems using time petri nets. IEEE Trans. Software Eng., 17(3):259-273, 1991.
3. J. Billington, S. Christensen, K. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M. Weber. The Petri Net Markup Language: Concepts, technology and tools. In Proc. 24th Int. Conf. Application and Theory of Petri Nets (ICATPN'2003), Eindhoven, The Netherlands, June 2003, volume 2679 of Lecture Notes in Computer Science, pages 483-505. Springer, 2003.
4. Brauer, W., Reisig, W., and Rozenberg, G., editors. Petri Nets: Central Models and Their Properties., volume 254. Springer-Verlag Lecture Notes in Computer Science: Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, September 1986, 1987.
5. F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. J. Grose. Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley Professional, August 2003.
6. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. On Well-Formed Coloured Nets and their symbolic reachability graph. In G. Rozenberg and K. Jensen, editors, LNCS : High Level Petri Nets. Theory and Application. Springer Verlag, June 1991.
7. J. Clark. RELAX NG Home Page. OASIS, http://www.relaxng.org/, 2003.
8. M. Diaz. Vérification et mise en oeuvre des réseaux de Petri. Hermes Sciences -Lavoisier, 2003.
9. GreatSPN: GRaphical Editor, Analyzer for Timed, and Stochastic Petri Nets, url: http://www.di.unito.it/~greatspn/.
10. International Organization for Standardization. International harmonized stage codes. ISO, http://www.iso.org/iso/en/widepages/stagetable.html#95.
11. Eclipse Foundation. Eclipse Modeling Framework, http://www.eclipse.org/ emf/.
12. H. J. Genrich. Predicate/transition nets. In Brauer, W., Reisig, W., and Rozenberg, G., editors, Lecture Notes in Computer Science: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, September 1986, volume 254, pages 207-247. Springer-Verlag, 1987. NewsletterInfo: 27.
13. Parallel Systems Group. Programming Environment based on Petri Nets. University of Oldenburg, http://theoretica.informatik.vuii-oldenburg.de/-pep/.
14. L. Hillah, F.Kordon, L. Petrucci, and N. Trèves. Model engineering on petri nets for iso/iec 15909-2: Api framework for petri net types metamodels. Petri Net Newsletter, (69):22-40, October 2005.
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.
16. K. Jensen. Coloured petri nets - basic concepts, analysis methods and practical use, vol. 3: Practical use. EATCS Monographs on Theoretical Computer Science, 1997.
17. Jensen, K. and Rozenberg, G., editors. High-Level Petri Nets. Berlin, Germany: Springer-Verlag, 1991. NewsletterInfo: 39.
18. E. Kindler. 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.
19. E. Kindler. The petri net markup language and iso/iec 15909-2: Concepts, status, and future directions. In Entwurf komplexer Automatisierungssysteme, To appear.
20. F. Kordon and L. Petrucci. Proposal for an addendum to ISO/IEC 15909-1, document reference MAL-12. NWI For the Malaga Meeting, November 2004.
21. Modeling and Verification Department. PNML Framework. LIP6, http://www.Iip6.fr/pnml.
22. University of Aarhus. Computer Tool for Coloured Petri Nets - CPNTool. http://wiki.daimi.au.dk/cpntools/cpntools.wiki.
23. OMG. MetaObjectFacility 2.0 Core Specification, document no:omg/2003-10-04. OMG, October 2003.
24. OMG. OCL 2.0 Specification - Version 2.0 ptc/2005-06-06. OMG, June 2005.
25. The CPN-AMI Home page, url : http://www.lip6.fr/cpn-ami.
26. J. Peterson. Petri Net Theory and the Modeling of Systems. Englewood Cliffs, New Jersey: Prentice Hall, Inc., 1981.
27. Remko Popma. Introduction to JET. Azzurri Ltd., http://eclipse.org/emf/ docs.php?doc=tutorials/jetl/jet_tutorial1.html, 2005.
28. W. Reisig. Petri Nets., volume 4. Springer-Verlag EATCS Monographs on Theoretical Computer Science, original edition, 1985. NewsletterInfo: 19 translation of the German: "W. Reisig, Petrinetze. (1982)".
29. W. Reisig. Petri nets and algebraic specifications. Theoretical Computer Science, 80:1-34, 1991. NewsletterInfo: 38,39.
30. AT&T Research. GraphViz. http://www.graphviz.org/.
31. W3C. MathML 2.0, W3C Math Home. W3C, http://www.w3.org/Math/.