{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:50:17Z","timestamp":1771699817545,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540222361","type":"print"},{"value":"9783540277934","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_12","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"197-215","source":"Crossref","is-referenced-by-count":37,"title":["Generalised Soundness of Workflow Nets Is Decidable"],"prefix":"10.1007","author":[{"given":"Kees","family":"van Hee","sequence":"first","affiliation":[]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Voorhoeve","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1997","author":"W. Aalst van der","year":"1997","unstructured":"van der Aalst, W.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248. Springer, Heidelberg (1997)"},{"key":"12_CR2","unstructured":"Commoner, F.: Deadlocks in Petri Nets. Applied Data Research, Inc., Wakefield, Massachusetts, Report CA-7206-2311 (1972)"},{"key":"12_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. Cambridge Tracts in Theoretical Computer Science, vol.\u00a040. Cambridge University Press, Cambridge (1995)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-44919-1_22","volume-title":"Applications and Theory of Petri Nets 2003","author":"K. Hee van","year":"2003","unstructured":"van Hee, K., Sidorova, N., Voorhoeve, M.: Soundness and separability of workflow nets in the stepwise refinement approach. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 337\u2013356. Springer, Heidelberg (2003)"},{"key":"12_CR5","unstructured":"Lautenbach, K.: Liveness in Petri Nets. Internal Report of the Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bonn, Germany, ISF\/75-02-1 (1975)"},{"key":"12_CR6","series-title":"Wiley-Interscience series in discrete mathematics","volume-title":"Theory of Linear and Integer Programming","author":"A. Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. Wiley-Interscience series in discrete mathematics. John Wiley & Sons, Chichester (1986)"},{"key":"12_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-09262-9","volume-title":"Analyse von Petri-Netz-Modellen","author":"P. Starke","year":"1990","unstructured":"Starke, P.: Analyse von Petri-Netz-Modellen. Teubner, Stuttgart (1990)"},{"issue":"4","key":"12_CR8","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H. Verbeek","year":"2001","unstructured":"Verbeek, H., Basten, T., van der Aalst, W.: Diagnosing workflow processes using oflan. The Computer Journal\u00a044(4), 246\u2013279 (2001)","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T02:10:27Z","timestamp":1553047827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}