{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:40Z","timestamp":1725454000001},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328848"},{"type":"electronic","value":"9783642328855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32885-5_12","type":"book-chapter","created":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T18:45:30Z","timestamp":1345920330000},"page":"156-171","source":"Crossref","is-referenced-by-count":5,"title":["The Difficulty of Replacing an Inclusive OR-Join"],"prefix":"10.1007","author":[{"given":"C\u00e9dric","family":"Favre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hagen","family":"V\u00f6lzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Alves, A., et al.: Web services business process execution language version 2.0. OASIS Standard 11 (2007)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press (1995)","DOI":"10.1017\/CBO9780511526558"},{"issue":"5","key":"12_CR3","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1016\/j.datak.2011.01.004","volume":"70","author":"D. Fahland","year":"2011","unstructured":"Fahland, D., Favre, C., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Analysis on demand: Instantaneous soundness checking of industrial business process models. Data Knowl. Eng.\u00a070(5), 448\u2013466 (2011)","journal-title":"Data Knowl. Eng."},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-15618-2_19","volume-title":"Business Process Management","author":"C. Favre","year":"2010","unstructured":"Favre, C., V\u00f6lzer, H.: Symbolic Execution of Acyclic Workflow Graphs. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol.\u00a06336, pp. 260\u2013275. Springer, Heidelberg (2010)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Favre, C., V\u00f6lzer, H.: The Difficulty of Replacing an Inclusive OR-Join. Technical report, IBM Research, RZ3824 (2012)","DOI":"10.1007\/978-3-642-32885-5_12"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","volume":"39","author":"B. Kiepuszewski","year":"2003","unstructured":"Kiepuszewski, B., ter Hofstede, A., van der Aalst, W.M.P.: Fundamentals of control flow in workflows. Acta Informatica\u00a039(3), 143\u2013209 (2003)","journal-title":"Acta Informatica"},{"issue":"4","key":"12_CR7","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1080\/17517570802245433","volume":"2","author":"J. Mendling","year":"2008","unstructured":"Mendling, J., van Dongen, B., van der Aalst, W.M.P.: Getting rid of or-joins and multiple start events in business process models. Enterprise Information Systems\u00a02(4), 403\u2013419 (2008)","journal-title":"Enterprise Information Systems"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/3-540-47961-9_37","volume-title":"Advanced Information Systems Engineering","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., Hirnschall, A., Verbeek, H.M.W.: An Alternative Way to Analyze Workflow Graphs. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 535\u2013552. Springer, Heidelberg (2002)"},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0039066","volume-title":"CONCUR \u201990","author":"R.J. van Glabbeek","year":"1990","unstructured":"van Glabbeek, R.J.: The Linear Time-Branching Time Spectrum (Extended Abstract). In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 278\u2013297. Springer, Heidelberg (1990)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-89652-4_11","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"J. Vanhatalo","year":"2008","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F., Moser, S.: Automatic Workflow Graph Refactoring and Completion. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 100\u2013115. Springer, Heidelberg (2008)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-642-15618-2_21","volume-title":"Business Process Management","author":"H. V\u00f6lzer","year":"2010","unstructured":"V\u00f6lzer, H.: A New Semantics for the Inclusive Converging Gateway in Safe Processes. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol.\u00a06336, pp. 294\u2013309. Springer, Heidelberg (2010)"},{"issue":"1","key":"12_CR13","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1108\/14637150910931479","volume":"15","author":"M. Wynn","year":"2009","unstructured":"Wynn, M., Verbeek, H.M.W., van der Aalst, W.M.P., ter Hofstede, A., Edmond, D.: Business Process Verification\u2013Finally a Reality! Business Process Management Journal\u00a015(1), 74\u201392 (2009)","journal-title":"Business Process Management Journal"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32885-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:10:55Z","timestamp":1606187455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32885-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328848","9783642328855"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32885-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}