{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T04:15:29Z","timestamp":1771042529100,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540346999","type":"print"},{"value":"9783540347002","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_24","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T14:38:34Z","timestamp":1150814314000},"page":"411-420","source":"Crossref","is-referenced-by-count":6,"title":["Petriweb: A Repository for Petri Nets"],"prefix":"10.1007","author":[{"given":"R.","family":"Goud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kees M.","family":"van Hee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. D. J.","family":"Post","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M. E. M.","family":"van der Werf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Software and Systems Engineering \u2013 High-level Petri Nets, Part 2: Transfer Format \u2013 ISO\/IEC WD 15909-2:2005(E) (June 2005)"},{"key":"24_CR2","unstructured":"Clark, J., Murata, M.: RELAX NG Specification (2001), http:\/\/www.oasis-open.org\/committees\/relax-ng\/spec-20011203.html"},{"key":"24_CR3","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. In: Cambridge Tracts in Theoretical Computer Science, vol.\u00a040. Cambridge University Press, Cambridge (1995)"},{"key":"24_CR4","unstructured":"Billington, J., et al.: The Petri Net Markup Language. Concepts, Technology, and Tools, http:\/\/citeseer.nj.nec.com\/billington03petri.html"},{"key":"24_CR5","unstructured":"Post, R., et al.: Yasper, Yet Another Smart Process EditoR (2004\u20132006), http:\/\/www.yasper.org"},{"key":"24_CR6","unstructured":"van Hee, K., Post, R., Somers, L.: Yet Another Smart Process Editor. In: Proc. of European Simulation and Modelling Conference (ESM 2005), EUROSIS, Porto, Portugal (2005)"},{"key":"24_CR7","unstructured":"Jeliffe, R.: The Schematron. An XML Structure Validation Language using Patterns in Trees (2003), http:\/\/www.ascc.net\/xml\/resource\/schematron\/schematron.html"},{"issue":"4","key":"24_CR8","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1007\/s100090100055","volume":"3","author":"E. Kindler","year":"2001","unstructured":"Kindler, E., Weber, M.: The Petri Net Kernel - An infrastructure for building Petri net tools. International Journal on Software Tools for Technology Transfer\u00a03(4), 486\u2013497 (2001)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"4","key":"24_CR9","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"24_CR10","series-title":"Monographs in Theoretical Computer Science: An EATCS Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. Monographs in Theoretical Computer Science: An EATCS Series, vol.\u00a04. Springer, Berlin (1985)"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/3-540-44988-4_28","volume-title":"Application and Theory of Petri Nets 2000","author":"E. Verbeek","year":"2000","unstructured":"Verbeek, E., van der Aalst, W.M.P.: Woflan 2.0, A Petri-Net-Based Workflow Diagnosis Tool. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, p. 475. Springer, Heidelberg (2000)"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Weber, M., Kindler, E.: The Petri Net Markup Language (April 2002), http:\/\/www.informatik.hu-berlin.de\/top\/pnml\/","DOI":"10.1007\/978-3-540-40022-6_7"},{"key":"24_CR13","unstructured":"Weber, M., Kindler, E.: Petri Net Markup Language schema RELAX NG implementation of structured PNML (2004), http:\/\/www.informatik.hu-berlin.de\/top\/pnml\/1.3.2\/structuredPNML.rng"},{"key":"24_CR14","unstructured":"van der Werf, J.M.E.M., Post, R.D.J.: EPNML 1.1 - an XML format for Petri nets (March 2004), http:\/\/www.petriweb.org\/specs\/epnml11\/pnmldef.pdf"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,15]],"date-time":"2020-04-15T16:20:14Z","timestamp":1586967614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11767589_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}