Petri Net Markup Language: Implementation and Application

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-21, Issue , 2002, Pages 14-25

  Stehno, Christian ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

HYPERTEXT SYSTEMS; PETRI NETS;

'CURRENT; GRAPHIC FORMAT; LANGUAGE IMPLEMENTATIONS; PETRI NET MARKUP LANGUAGE; SCALABLE VECTOR GRAPHICS;

XML;

EID: 84855630567     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Bastide, R. et al (eds.): Meeting on XML/SGML based Interchange Formats for Petri Nets. Aarhus, Denmark, 21st ICATPN. (2000). Also available from http://www.daimi.au.dk/pn2000/Interchange/index.html
2. Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. EATCS Monographs on Theoretical Computer Science Series. Springer-Verlag (2001)
3. Best, E.: Partial Order Verification with PEP. In Proc. of POMIV'96. American Mathematical Society (1996) 305-328
4. Best, E., Fra¸czak, W., Hopkins, R.P., Klaudel, H., Pelz, E.: M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica 35(10). Springer-Verlag (1998) 813-857
5. Best, E., Grahlmann, B.: PEP Documentation and User Guide Version 1.8. University of Oldenburg (1998)
6. Bause, F., Kemper, P., Kritzinger, P.: Abstract Petri Net Notation. Petri Net Newsletters, No. 49 (1995) 9-27
7. Eisenberg, D.: SVG Essentials. O'Reilly (2002)
8. Fleischhack, H., Grahlmann, B.: A Compositional Petri Net Semantics for SDL. In Proc. of ATPN'98. Volume 1420 of LNCS. Springer-Verlag (1998)
9. The Gnome Project: http://www.gnome.org/
10. Goldfarb, C.F.: The SGML Handbook. Oxford University Press (1990)
11. Jüngel, M., Kindler, E., Weber, M.: The Petri Net Markup Language. In Proc. 7. Workshop AWPN. Universität Koblenz-Landau (2000) 47-52
12. Kindler, E., Weber, M.: A Universal Module Concept for Petri Nets - an implementation-oriented approach -. Technical Report. Informatik-Berichte 150, Humboldt-Universität zu Berlin (2001)
13. Kindler, E., Weber, M.: The Petri Net Kernel. International Journal STTT 3. Springer-Verlag (2001) 486-497
14. Levine, J., Mason, T., Brown, D.: lex & yacc. O'Reilly (1992)
15. Merlin, P., Farber, D.J.: Recoverability of Communication Protocols. IEEE Transactions on Communications. 24:9 (1976) 1036-1043
16. The Model Checking Kit: http://wwwbrauer.informatik.tu-muenchen.de/gruppen/theorie/KIT/
17. The PEP tool: http://parsys.informatik.uni-oldenburg.de/~pep
18. Ray, E.T.: Learning XML. O'Reilly (2001)
19. Starke, P.: Analyse von Petri Netzen. Teubner-Verlag, Stuttgart (1990)
20. Tidwell, D.: XSLT. O'Reilly (2001)
21. Weber, M.: An XML-based Approach towards an Interchange Format for Petri Nets. In Proc. Workshop CS&P. Informatik-Berichte 140, Humboldt-Universität zu Berlin (2000) 251-353
22. The World Wide Web Consortium: http://www.w3c.org/