{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T23:51:00Z","timestamp":1769730660768,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540403340","type":"print"},{"value":"9783540449195","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_31","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T20:38:42Z","timestamp":1188765522000},"page":"483-505","source":"Crossref","is-referenced-by-count":132,"title":["The Petri Net Markup Language: Concepts, Technology, and Tools"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"Billington","sequence":"first","affiliation":[]},{"given":"S\u00f8ren","family":"Christensen","sequence":"additional","affiliation":[]},{"given":"Kees","family":"van Hee","sequence":"additional","affiliation":[]},{"given":"Ekkart","family":"Kindler","sequence":"additional","affiliation":[]},{"given":"Olaf","family":"Kummer","sequence":"additional","affiliation":[]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[]},{"given":"Reinier","family":"Post","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Stehno","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Weber","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"31_CR1","unstructured":"R. Bastide, J. Billington, E. Kindler, F. Kordon, and K.H. Mortensen, editors. Meeting on XML\/SGML based Interchange Formats for Petri Nets, \u00c5rhus, Denmark, June 2000. 21st ICATPN."},{"key":"31_CR2","first-page":"9","volume":"49","author":"F. Bause","year":"1995","unstructured":"F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri net notation. Petri Net Newsletter, 49:9\u201327, October 1995.","journal-title":"Petri Net Newsletter"},{"key":"31_CR3","first-page":"4","volume":"29","author":"G. Berthelot","year":"1988","unstructured":"G. Berthelot, J. Vautherin, and G. Vidal-Naquet. A syntax for the description of Petri nets. Petri Net Newsletter, 29:4\u201315, April 1988.","journal-title":"Petri Net Newsletter"},{"key":"31_CR4","unstructured":"B. Bos, H. W. Lie, C. Lilley, and I. Jacobs (eds.). Cascading Style Sheets, level 2 \u2014 CSS2 Specification. URL http:\/\/www.w3.org\/TR\/CSS2, 1998."},{"key":"31_CR5","unstructured":"J. Clark. TREX \u2014 tree regular expressions for XML. URL http:\/\/www.thaiopensource.com\/trex\/. 2001\/01\/20."},{"key":"31_CR6","unstructured":"J. Clark (ed.). XSL Transformations (XSLT) Version 1.0. URL http:\/\/www.w3.org\/TR\/XSLT\/xslt.html, 1999."},{"key":"31_CR7","unstructured":"J. Clark and M. Murata (eds.). RELAX NG specification. URL http:\/\/www.oasis-open.org\/committees\/relax-ng\/. 2001\/12\/03."},{"key":"31_CR8","unstructured":"CPN Tools. URL http:\/\/www.daimi.au.dk\/CPNtools. 2001\/09\/11."},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"J. Desel, G. Juh\u00e1s, R. Lorenz, and C. Neumair. Modelling and validation with VipTool. In Conference on Business Process Management, Tool Presentation, 2003.","DOI":"10.1007\/3-540-44895-0_26"},{"key":"31_CR10","unstructured":"Design\/CPN. URL http:\/\/www.daimi.au.dk\/designCPN\/. 2001\/09\/21."},{"key":"31_CR11","unstructured":"J. Ferraiolo, F. Jun, and D. Jackson (eds.). Scalable Vector Graphics (SVG) 1.1 Specification. URL http:\/\/www.w3.org\/TR\/SVG11\/, 2003."},{"key":"31_CR12","unstructured":"ISO\/IEC\/JTC1\/SC7. Subdivision of project 7.19 for a Petri net standard. ISO\/IEC\/JTC1\/SC7 N1441, October 1995."},{"key":"31_CR13","unstructured":"ISO\/IEC\/JTC1\/SC7. Software Engineering-High-Level Petri Nets-Concepts, Definitions and Graphical Notation. ISO\/IEC 15909-1, Final Committee Draft, May 2002."},{"key":"31_CR14","unstructured":"ISO\/IEC\/JTC1\/SC7 WG19. New proposal for a standard on Petri net techniques. ISO\/IEC\/JTC1\/SC7 N2658, June 2002."},{"key":"31_CR15","first-page":"24","volume":"59","author":"M. J\u00fcngel","year":"2000","unstructured":"M. J\u00fcngel, E. Kindler, and M. Weber. The Petri Net Markup Language. Petri Net Newsletter, 59:24\u201329, 2000.","journal-title":"Petri Net Newsletter"},{"key":"31_CR16","volume-title":"VeriTech: Translating among specifications and verification tools","author":"S. Katz","year":"1999","unstructured":"S. Katz and O. Grumberg. VeriTech: Translating among specifications and verification tools. Technical report, The Technion, Haifa, Israel, March 1999."},{"key":"31_CR17","unstructured":"E. Kindler and M. Weber. A universal module concept for Petri nets. An implementation-oriented approach. Informatik-Berichte 150, Humboldt-Universit\u00e4t zu Berlin, June 2001."},{"key":"31_CR18","volume-title":"PNIF language definition","author":"A. M. Koelmans","year":"1995","unstructured":"A. M. Koelmans. PNIF language definition. Technical report, Computing Science Department, University of Newcastle upon Tyne, UK, July 1995. version 2.2."},{"key":"31_CR19","first-page":"47","volume-title":"Proc. Workshop on Practical use of Coloured Petri Nets and Design\/CPN","author":"R. B. Lyngs\u00f8","year":"1998","unstructured":"R. B. Lyngs\u00f8 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\u201363, Department of Computer Science, University of \u00c5rhus, Denmark, 1998. PB-532."},{"key":"31_CR20","unstructured":"T. Mailund and K.H. Mortensen. Separation of style and content with XML in an interchange format for high-level Petri nets. In J. Billington, E. Kindler, F. Kordon, and K.H. Mortensen, editors. Meeting on XML\/SGML based Interchange Formats for Petri Nets, \u00c5rhus, Denmark, June 2000 Bastide et al. [1], pages 7\u201311."},{"key":"31_CR21","unstructured":"The Model-Checking Kit. URL http:\/\/wwwbrauer.in.tum.de\/gruppen\/theorie\/KIT\/. 2003\/02\/18."},{"key":"31_CR22","unstructured":"The PEP Tool. URL http:\/\/parsys.informatik.uni-oldenburg.de\/~pep\/. 2002\/07\/29."},{"key":"31_CR23","unstructured":"The Petri Net Kernel. URL http:\/\/www.informatik.hu-berlin.de\/top\/pnk\/. 2001\/11\/09."},{"key":"31_CR24","unstructured":"Petri Net Markup Language. URL http:\/\/www.informatik.hu-berlin.de\/top\/pnml\/. 2001\/07\/19."},{"key":"31_CR25","unstructured":"Renew: The Reference Net Workshop. URL http:\/\/www.renew.de. 2002\/03\/04."},{"key":"31_CR26","unstructured":"M. Sperberg-McQueen and H. Thompson (eds.). XML Schema. URL http:\/\/www.w3.org\/XML\/Schema, April 2000. 2002-03-22."},{"key":"31_CR27","unstructured":"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\u201330. Gesellschaft f\u00fcr Informatik, 2002."},{"key":"31_CR28","series-title":"Lect Notes Comput Sci","volume-title":"Petri Net Technology for Communication Based Systems","author":"M. Weber","year":"2002","unstructured":"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."},{"key":"31_CR29","unstructured":"G. Wheeler. A textual syntax for describing Petri nets. Foresee design document, Telecom Australia Research Laboratories, 1993. version 2."},{"key":"31_CR30","unstructured":"The XML C library for Gnome. URL http:\/\/xmlsoft.org. 2003\/01\/23."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T05:08:27Z","timestamp":1550898507000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}