{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,25]],"date-time":"2026-09-25T22:22:18Z","timestamp":1790374938035,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642121852","type":"print"},{"value":"9783642121869","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12186-9_47","type":"book-chapter","created":{"date-parts":[[2010,3,16]],"date-time":"2010-03-16T12:00:21Z","timestamp":1268740821000},"page":"501-512","source":"Crossref","is-referenced-by-count":4,"title":["A Comparison of Soundness Results Obtained by Different Approaches"],"prefix":"10.1007","author":[{"given":"Volker","family":"Gruhn","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ralf","family":"Laue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"47_CR1","unstructured":"van der Aalst, W.M.P., Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In: EPK 2004, Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 71\u201379 (2002)"},{"key":"47_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases\u00a014(3) (2003)","DOI":"10.1023\/A:1022883727209"},{"key":"47_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-25970-1_6","volume-title":"Business Process Management","author":"E. Kindler","year":"2004","unstructured":"Kindler, E.: On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol.\u00a03080, pp. 82\u201397. Springer, Heidelberg (2004)"},{"key":"47_CR4","unstructured":"Cuntz, N., Kindler, E.: On the semantics of EPCs: Efficient calculation and simulation. In: Proceedings of EPK 2004: Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 7\u201326 (2004)"},{"key":"47_CR5","doi-asserted-by":"crossref","unstructured":"Cuntz, N., Freiheit, J., Kindler, E.: On the Semantics of EPCs: Faster calculation for EPCs with small state spaces. In: EPK 2005, Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 7\u201323 (2005)","DOI":"10.1007\/11538394_30"},{"key":"47_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/11494744_24","volume-title":"Applications and Theory of Petri Nets 2005","author":"M.T. Wynn","year":"2005","unstructured":"Wynn, M.T., Edmond, D., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 423\u2013443. Springer, Heidelberg (2005)"},{"key":"47_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-540-76848-7_5","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"M. Dumas","year":"2007","unstructured":"Dumas, M., Gro\u00dfkopf, A., Hettel, T., Wynn, M.T.: Semantics of standard process models with or-joins. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 41\u201358. Springer, Heidelberg (2007)"},{"key":"47_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/11841760_16","volume-title":"Business Process Management","author":"K.M. van Hee","year":"2006","unstructured":"van Hee, K.M., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: History-based joins: Semantics, soundness and implementation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 225\u2013240. Springer, Heidelberg (2006)"},{"key":"47_CR9","unstructured":"Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Wirtschaftsuniversit\u00e4t Wien (2007)"},{"key":"47_CR10","first-page":"1","volume":"14","author":"E. B\u00f6rger","year":"2008","unstructured":"B\u00f6rger, E., S\u00f6rensen, O., Thalheim, B.: On defining the behavior of OR-joins in business process models. J. Universal Computer Science\u00a014, 1\u201322 (2008)","journal-title":"J. Universal Computer Science"},{"issue":"1","key":"47_CR11","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF03250714","volume":"42","author":"P. Rittgen","year":"2000","unstructured":"Rittgen, P.: Quo vadis EPK in ARIS? Wirtschaftsinformatik\u00a042(1), 27\u201335 (2000)","journal-title":"Wirtschaftsinformatik"},{"key":"47_CR12","unstructured":"Wehler, J.: Boolean and free-choice semantics of event-driven process chains. In: EPK 2007, Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 77\u201396 (2007)"},{"issue":"10","key":"47_CR13","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W.M.P. van der Aalst","year":"1999","unstructured":"van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Information & Software Technology\u00a041(10), 639\u2013650 (1999)","journal-title":"Information & Software Technology"},{"key":"47_CR14","unstructured":"Langner, P., Schneider, C., Wehler, J.: Relating event-driven process chains to Boolean Petri nets. Technical Report 9707, M\u00fcnchen (December 1997)"},{"key":"47_CR15","doi-asserted-by":"crossref","unstructured":"van Dongen, B.F., van der Aalst, W.M.P., Verbeek, E.: Verification of EPCs: Using reduction rules and Petri nets. In: Proceedings of the International Conference on Advanced Information Systems 2005, pp. 372\u2013386 (2005)","DOI":"10.1007\/11431855_26"},{"key":"47_CR16","unstructured":"Barborka, P., Helm, L., K\u00f6ldorfer, G., Mendling, J., Neumann, G., van Dongen, B.F., Verbeek, E., van der Aalst, W.M.P.: Integration of EPC-related tools with ProM. In: EPK 2006, Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten. CEUR Workshop Proceedings, vol.\u00a0224, pp. 105\u2013120 (2006)"},{"key":"47_CR17","unstructured":"Wynn, M.T.: Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins. PhD thesis, Queensland University of Technology Brisbane, Australia (2006)"},{"issue":"1","key":"47_CR18","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1108\/14637150910931479","volume":"15","author":"M.T. Wynn","year":"2009","unstructured":"Wynn, M.T., Verbeek, E., van der Aalst, W.M.P., Edmond, D.: Business process verification - finally a reality! Business Process Management Journal\u00a015(1), 74\u201392 (2009)","journal-title":"Business Process Management Journal"},{"key":"47_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-540-85758-7_14","volume-title":"Business Process Management","author":"G. Decker","year":"2008","unstructured":"Decker, G., Mendling, J.: Instantiation semantics for process models. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 164\u2013179. Springer, Heidelberg (2008)"},{"key":"47_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. van der Aalst","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"47_CR21","unstructured":"van der Aalst, W.M.P.: Structural characterizations of sound workflow nets. Computing Science Reports\/23 (96) (1996)"},{"issue":"3","key":"47_CR22","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1093\/comjnl\/bxl074","volume":"50","author":"E. Verbeek","year":"2007","unstructured":"Verbeek, E., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Verifying workflows with cancellation regions and or-joins: An approach based on relaxed soundness and invariants. Comput. J.\u00a050(3), 294\u2013314 (2007)","journal-title":"Comput. J."},{"key":"47_CR23","unstructured":"Gruhn, V., Laue, R.: Good and bad excuses for unstructured business process models. In: Proceedings of 12th European Conference on Pattern Languages of Programs, EuroPLoP 2007 (2007)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12186-9_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T04:34:12Z","timestamp":1667968452000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-12186-9_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642121852","9783642121869"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12186-9_47","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}