The Petri net markup language: Concepts, technology, and tools

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

Volumn 2679, Issue , 2003, Pages 483-505

  Billington, Jonathan ^a   Christensen, Søren ^b   Van Hee, Kees ^c   Kindler, Ekkart ^d   Kummer, Olaf ^e   Petrucci, Laure ^f   Post, Reinier ^c   Stehno, Christian ^g   Weber, Michael ^h  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

^b AARHUS UNIVERSITY   (Denmark)

^c EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^d UNIVERSITY OF PADERBORN   (Germany)

^e ENS de Cachan ^*  (Germany)

^f CNRS   (France)

^g UNIVERSITY OF OLDENBURG   (Germany)

^h HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; HYPERTEXT SYSTEMS; PETRI NETS; XML;

BASIC CONCEPTS; DESIGN PRINCIPLES; INTERCHANGE FORMATS; PETRI NET MARKUP LANGUAGE; XML TECHNOLOGY;

MARKUP LANGUAGES;

EID: 35248854880     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44919-1_31     Document Type: Short Survey

References (30)

1. R. Bastide, J. Billington, E. Kindler, F. Kordon, and K. H. Mortensen, editors. Meeting on XML/SGML based Interchange Formats for Petri Nets, Århus, Denmark, June 2000. 21st ICATPN.
2. F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri net notation. Petri Net Newsletter, 49:9-27, October 1995.
3. G. Berthelot, J. Vautherin, and G. Vidal-Naquet. A syntax for the description of Petri nets. Petri Net Newsletter, 29:4-15, April 1988.
4. B. Bos, H. W. Lie, C. Lilley, and I. Jacobs (eds.). Cascading Style Sheets, level 2 - CSS2 Specification. URL http://www.w3.org/TR/CSS2, 1998.
5. J. Clark. TREX - tree regular expressions for XML. URL http://www.thaiopensource.com/trex/. 2001/01/20.
6. J. Clark (ed.). XSL Transformations (XSLT) Version 1.0. URL http://www.w3.org/TR/XSLT/xslt.html, 1999.
7. J. Clark and M. Murata (eds.). RELAX NG specification. URL http://www.oasis-open.org/committees/relax-ng/. 2001/12/03.
8. CPN Tools. URL http://www.daimi.au.dk/CPNtools. 2001/09/11.
9. J. Desel, G. Juhas, R. Lorenz, and C. Neumair. Modelling and validation with VipTool. In Conference on Business Process Management, Tool Presentation, 2003.
10. Design/CPN. URL http://www.daimi.au.dk/designCPN/. 2001/09/21.
11. J. Ferraiolo, F. Jun, and D. Jackson (eds.). Scalable Vector Graphics (SVG) 1.1 Specification. URL http://www.w3.org/TR/SVG11/, 2003.
12. ISO/IEC/JTC1/SC7. Subdivision of project 7.19 for a Petri net standard. ISO/IEC/JTC1/SC7 N1441, October 1995.
13. ISO/IEC/JTC1/SC7. Software Engineering - High-Level Petri Nets - Concepts, Definitions and Graphical Notation. ISO/IEC 15909-1, Final Committee Draft, May 2002.
14. ISO/IEC/JTC1/SC7 WG19. New proposal for a standard on Petri net techniques. ISO/IEC/JTC1/SC7 N2658, June 2002.
15. M. Jungel, E. Kindler, and M. Weber. The Petri Net Markup Language. Petri Net Newsletter, 59:24-29, 2000.
16. S. Katz and O. Grumberg. VeriTech: Translating among specifications and verification took. Technical report, The Technion, Haifa, Israel, March 1999.
17. E. Kindler and M. Weber. A universal module concept for Petri nets. An implementation-oriented approach. Informatik-Berichte 150, Humboldt-Universität zu Berlin, June 2001.
18. A. M. Koelmans. PNIF language definition. Technical report, Computing Science Department, University of Newcastle upon Tyne, UK, July 1995. version 2.2.
19. R. B. Lyngsø and T. Mailund. Textual interchange format for high-level Petri nets. In Proc. Workshop on Practical use of Coloured Petri Nets and Design/CPN, pages 47-63, Department of Computer Science, University of Århus, Denmark, 1998. PB-532.
20. T. Mailund and K. H. Mortensen. Separation of style and content with XML in an interchange format for high-level Petri nets. In Bastide et al. [1], pages 7-11.
21. The Model-Checking Kit, URL http://wwwbrauer.in.tum.de/gruppen/theorie/KIT/. 2003/02/18.
22. ∼pep/. 2002/07/29.
23. The Petri Net Kernel. URL http://www.informatik.hu-berlin.de/top/pnk/. 2001/11/09.
24. Petri Net Markup Language. URL http://www.informatik.hu-berlin.de/top/pnml/. 2001/07/19.
25. Renew: The Reference Net Workshop. URL http://www.renew.de. 2002/03/04.
26. M. Sperberg-McQueen and H. Thompson (eds.). XML Schema. URL http://www.w3.org/XML/Schema, April 2000. 2002-03-22.
27. C. Stehno. Petri Net Markup Language: Implementation and Application. In J. Desel and M. Weske, editors, Promise 2002, Lecture Notes in Informatics P-21, pages 18-30. Gesellschaft für Informatik, 2002.
28. M. Weber and E. Kindler. The Petri Net Kernel. In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Petri Net Technology for Communication Based Systems, Lecture Notes in Computer Science 2472. Springer, Berlin Heidelberg, 2002. To appear.
29. G. Wheeler. A textual syntax for describing Petri nets. Foresee design document, Telecom Australia Research Laboratories, 1993. version 2.
30. The XML C library for Gnome. URL http://xmlsoft.org. 2003/01/23.