{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T05:10:56Z","timestamp":1747458656717,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642136740"},{"type":"electronic","value":"9783642136757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13675-7_1","type":"book-chapter","created":{"date-parts":[[2010,6,11]],"date-time":"2010-06-11T15:26:50Z","timestamp":1276270010000},"page":"1-17","source":"Crossref","is-referenced-by-count":11,"title":["Instance Deadlock: A Mystery behind Frozen Programs"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Juh\u00e1s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Kazlov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Juh\u00e1sov\u00e1","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management, Models Methods and Systems","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.: Workflow Management, Models Methods and Systems. The MIT Press, Cambridge (2002)"},{"issue":"3","key":"1_CR2","first-page":"143","volume":"30","author":"J. Esparza","year":"1994","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for Petri nets\u2013a survey. J. Inform. Process. Cybernet.\u00a030(3), 143\u2013160 (1994)","journal-title":"J. Inform. Process. Cybernet."},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/11494744_15","volume-title":"Applications and Theory of Petri Nets 2005","author":"K.M. Hee van","year":"2005","unstructured":"van Hee, K.M., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Soundness of Resource-Constrained Workflow Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 250\u2013267. Springer, Heidelberg (2005)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Medling, J., van der Aalst, W.M.P.: Errors in the SAP Reference Models. BPTrends (June 2006)","DOI":"10.1007\/11841760_38"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45541-8_1","volume-title":"Unifying Petri Nets","author":"J. Desel","year":"2001","unstructured":"Desel, J., Juh\u00e1s, G.: What is a Petri Net? In: Ehrig, H., Juh\u00e1s, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02128, pp. 1\u201325. Springer, Heidelberg (2001)"},{"key":"1_CR6","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use I II III","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use I II III. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13675-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T22:37:07Z","timestamp":1740177427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13675-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136740","9783642136757"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13675-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}