{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:08:38Z","timestamp":1743116918673,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319593357"},{"type":"electronic","value":"9783319593364"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59336-4_8","type":"book-chapter","created":{"date-parts":[[2017,5,27]],"date-time":"2017-05-27T00:53:39Z","timestamp":1495846419000},"page":"106-119","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On Avoiding Erroneous Synchronization in BPMN Processes"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Fornari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiara","family":"Muzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,28]]},"reference":[{"issue":"4","key":"8_CR1","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1145\/242223.242252","volume":"28","author":"R Cleaveland","year":"1996","unstructured":"Cleaveland, R., Smolka, S.A.: Strategic directions in concurrency research. ACM Comput. Surv. 28(4), 607\u2013625 (1996)","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1147\/sj.263.0276","volume":"26","author":"JA Zachman","year":"1987","unstructured":"Zachman, J.A.: A framework for information systems architecture. IBM Syst. J. 26(3), 276\u2013292 (1987)","journal-title":"IBM Syst. J."},{"key":"8_CR3","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer (2007)"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-36926-1_20","volume-title":"Seminal Contributions to Information Systems Engineering","author":"A Polyvyanyy","year":"2013","unstructured":"Polyvyanyy, A., Bussler, C.: The structured phase of concurrency. In: Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C., S\u00f8lvberg, A. (eds.) Seminal Contributions to Information Systems Engineering, pp. 257\u2013263. Springer, Heidelberg (2013)"},{"key":"8_CR5","unstructured":"OMG: Business Process Model and Notation (BPMN V 2.0). Technical report (2011)"},{"issue":"1","key":"8_CR6","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1147\/sj.382.0472","volume":"32","author":"JC Henderson","year":"1993","unstructured":"Henderson, J.C., Venkatraman, N.: Strategic alignment: leveraging information technology for transforming organizations. IBM Syst. J. 32(1), 4\u201316 (1993)","journal-title":"IBM Syst. J."},{"issue":"5","key":"8_CR7","doi-asserted-by":"publisher","first-page":"1188","DOI":"10.1016\/j.jss.2012.01.017","volume":"85","author":"J Mendling","year":"2012","unstructured":"Mendling, J., Sanchez-Gonzalez, L., Garcia, F., La Rosa, M.: Thresholds for error probability measures of business process models. J. Syst. Softw. 85(5), 1188\u20131197 (2012)","journal-title":"J. Syst. Softw."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Moreno-Montes de Oca, I., Snoeck, M.: Pragmatic guidelines for business process modeling. Technical Report 2592983, KU Leuven, November 2014","DOI":"10.2139\/ssrn.2592983"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.infsof.2009.08.004","volume":"52","author":"J Mendling","year":"2010","unstructured":"Mendling, J., Reijers, H.A., van der Aalst, W.M.: Seven process modeling guidelines (7PMG). Inf. Softw. Technol. 52(2), 127\u2013136 (2010)","journal-title":"Inf. Softw. Technol."},{"issue":"12","key":"8_CR10","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"issue":"6","key":"8_CR11","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1016\/j.is.2011.10.005","volume":"37","author":"A Polyvyanyy","year":"2012","unstructured":"Polyvyanyy, A., Garc\u00eda-Ba\u00f1uelos, L., Dumas, M.: Structuring acyclic process models. Inf. Syst. 37(6), 518\u2013538 (2012)","journal-title":"Inf. Syst."},{"issue":"1","key":"8_CR12","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1093\/comjnl\/bxs126","volume":"57","author":"A Polyvyanyy","year":"2014","unstructured":"Polyvyanyy, A., Garcia-Banuelos, L., Fahland, D., Weske, M.: Maximal structuring of acyclic process models. Comput. J. 57(1), 12\u201335 (2014)","journal-title":"Comput. J."},{"issue":"4","key":"8_CR13","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. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"WMP Van Der Aalst","year":"2000","unstructured":"Van Der Aalst, W.M.P.: Workflow verification: finding control-flow errors using petri-net-based techniques. In: Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161\u2013183. Springer, Heidelberg (2000). doi:10.1007\/3-540-45594-9_11"},{"key":"8_CR15","unstructured":"Ramchandani, C.: Analysis of asynchronous concurrent systems by timed petri nets. Massachusetts Institute of Technology, Cambridge (1974)"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3\u20134","key":"8_CR17","first-page":"228","volume":"1","author":"O Vasilecas","year":"2013","unstructured":"Vasilecas, O., Smai\u017eys, A., Rima, A.: Business process modelling and simulation: hybrid method for concurrency aspect modelling. J. Mod. Comput. 1(3\u20134), 228\u2013243 (2013)","journal-title":"J. Mod. Comput."},{"key":"8_CR18","unstructured":"S\u00f6rensen, O.: Semantics of Joins in cyclic BPMN Workflows. Ph.D. thesis, Christian-Albrechts-University Kiel, Department of Computer Science (2009)"},{"key":"8_CR19","unstructured":"Russell, N., Ter Hofstede, A.H., Mulyar, N.: Workflow controlflow patterns: a revised view. Technical Report BPM-06-22, BPMcenter.org (2006)"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-89762-0_3","volume-title":"Advances in Software Engineering","author":"E B\u00f6rger","year":"2008","unstructured":"B\u00f6rger, E., Thalheim, B.: A method for verifiable and validatable business process modeling. In: B\u00f6rger, E., Cisternino, A. (eds.) Advances in Software Engineering. LNCS, vol. 5316, pp. 59\u2013115. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-89762-0_3"},{"issue":"1","key":"8_CR21","first-page":"3","volume":"15","author":"B Thalheim","year":"2009","unstructured":"Thalheim, B., Sorensen, O., Borger, E.: On defining the behavior of OR-joins in business process models. J. UCS 15(1), 3\u201332 (2009)","journal-title":"J. UCS"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"van Hee, K.M., Sidorova, N., van der Werf, J.M.: Business process modeling using petri nets. Trans. Petri Nets Other Models Concurrency VII, 116\u2013161. Springer (2013)","DOI":"10.1007\/978-3-642-38143-0_4"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Van Hee, K.M., Sidorova, N., Voorhoeve, M., others: Generation of database transactions with petri nets. Fundamenta Informaticae 93(1\u20133), 171\u2013184 (2009)","DOI":"10.3233\/FI-2009-0095"},{"key":"8_CR24","unstructured":"Barros, A.P., Grosskopf, A.: Multiple instance management for workflow process models. Google Patents US Patent 8,424,011, April 2013"},{"key":"8_CR25","unstructured":"Dumas, M.G., Grosskopf, A., Hettel, T., Wynn, M.T.: Evaluation of synchronization gateways in process models. Google Patents US Patent 8,418,178, April 2013"},{"key":"8_CR26","unstructured":"Recker, J.C., Mendling, J.: On the translation between BPMN and BPEL: conceptual mismatch between process modeling languages. In: CAISE, pp. 521\u2013532 (2006)"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-88871-0_19","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"M Weidlich","year":"2008","unstructured":"Weidlich, M., Decker, G., Gro\u00dfkopf, A., Weske, M.: BPEL to BPMN: the myth of a straight-forward mapping. In: Meersman, R., Tari, Z. (eds.) OTM 2008. LNCS, vol. 5331, pp. 265\u2013282. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-88871-0_19"},{"issue":"3","key":"8_CR28","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/j.scico.2011.03.002","volume":"77","author":"A Lapadula","year":"2012","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3), 189\u2013213 (2012)","journal-title":"Sci. Comput. Program."},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-28934-2_9","volume-title":"Formal Aspects of Component Software","author":"F Corradini","year":"2016","unstructured":"Corradini, F., Polini, A., Re, B., Tiezzi, F.: An operational semantics of BPMN collaboration. In: Braga, C., \u00d6lveczky, P.C. (eds.) FACS 2015. LNCS, vol. 9539, pp. 161\u2013180. Springer, Cham (2016). doi:10.1007\/978-3-319-28934-2_9"}],"container-title":["Lecture Notes in Business Information Processing","Business Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59336-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T13:35:45Z","timestamp":1710250545000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-59336-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319593357","9783319593364"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59336-4_8","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"28 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Information Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poznan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bis2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}