{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T13:33:14Z","timestamp":1762867994573},"publisher-location":"Berlin, Heidelberg","reference-count":57,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662606506"},{"type":"electronic","value":"9783662606513"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-662-60651-3_1","type":"book-chapter","created":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T06:04:25Z","timestamp":1574229865000},"page":"1-35","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Tour in Process Mining: From Practice to Algorithmic Challenges"],"prefix":"10.1007","author":[{"given":"Wil","family":"van der Aalst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Chatain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boudewijn","family":"van Dongen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,21]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining - Data Science in Action","author":"WMP Aalst van der","year":"2016","unstructured":"van der Aalst, W.M.P.: Process Mining - Data Science in Action, 2nd edn. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49851-4","edition":"2"},{"key":"1_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99414-7","volume-title":"Conformance Checking - Relating Processes and Models","author":"J Carmona","year":"2018","unstructured":"Carmona, J., van Dongen, B.F., Solti, A., Weidlich, M.: Conformance Checking - Relating Processes and Models. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-319-99414-7"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1146\/annurev.cs.04.060190.000345","volume":"4","author":"J Pearl","year":"1990","unstructured":"Pearl, J.: Reasoning under uncertainty. Ann. Rev. Comput. Sci. 4(1), 37\u201372 (1990)","journal-title":"Ann. Rev. Comput. Sci."},{"key":"1_CR4","series-title":"Texts in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47967-4","volume-title":"Petri Net Synthesis","author":"E Badouel","year":"2015","unstructured":"Badouel, E., Bernardinello, L., Darondeau, P.: Petri Net Synthesis. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-47967-4"},{"key":"1_CR5","unstructured":"Kerremans, M.: Gartner Market Guide for Process Mining, Research Note G00353970 (2018). www.gartner.com"},{"key":"1_CR6","unstructured":"Koplowitz, R., Mines, C., Vizgaitis, A., Reese, A.: Process Mining: Your Compass for Digital Transformation: The Customer Journey Is The Destination (2019). www.forrester.com"},{"key":"1_CR7","unstructured":"TFPM: Process Mining Case Studies (2017). http:\/\/www.win.tue.nl\/ieeetfpm\/doku.php?id=shared:process_mining_case_studies"},{"key":"1_CR8","unstructured":"Celonis: Process Mining Success Story: Innovation is an Alliance with the Future (2017). http:\/\/www.win.tue.nl\/ieeetfpm\/lib\/exe\/fetch.php?media=:casestudies:siemens_celonis_story_english.pdf"},{"issue":"2","key":"1_CR9","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/s10270-016-0545-x","volume":"17","author":"Sander J. J. Leemans","year":"2016","unstructured":"Leemans, S., Fahland, D., van\u00a0der Aalst, W.: Scalable process discovery and conformance checking. Softw. Syst. Modeling 17, 599\u2013631 (2016)","journal-title":"Software & Systems Modeling"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-38697-8_17","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"SJJ Leemans","year":"2013","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 311\u2013329. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38697-8_17"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Aalst, W.: Discovering the \u201cglue\u201d connecting activities - exploiting monotonicity to learn places faster. In: Boer, F., Bonsangue, M., Rutten, J. (eds.) It\u2019s All About Coordination, pp. 1\u201320 (2018)","DOI":"10.1007\/978-3-319-90089-6_1"},{"issue":"4","key":"1_CR12","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\u2013574 (1989)","journal-title":"Proc. IEEE"},{"key":"1_CR13","unstructured":"Aalst, W.: Relating process models and event logs: 21 conformance propositions. In: Proceedings of the International Workshop on Algorithms and Theories for the Analysis of Event Data (ATAED 2018), vol. 2115, pp. 56\u201374. CEUR Workshop Proceedings, CEUR-WS.org (2018)"},{"issue":"01","key":"1_CR14","doi-asserted-by":"publisher","first-page":"1440001","DOI":"10.1142\/S0218843014400012","volume":"23","author":"J. C. A. M. Buijs","year":"2014","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: Quality dimensions in process discovery: the importance of fitness, precision, generalization and simplicity. Int. J. Coop. Inf. Syst. 23(1), 1440001 (2014)","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"3","key":"1_CR15","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P., et al.: Soundness of workflow nets: classification, decidability, and analysis. Formal Asp. Comput. 23(3), 333\u2013363 (2011)","journal-title":"Formal Asp. Comput."},{"key":"1_CR16","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-319-06257-0_6","volume-title":"Business Process Management Workshops","author":"SJJ Leemans","year":"2014","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs containing infrequent behaviour. In: Lohmann, N., Song, M., Wohed, P. (eds.) BPM 2013. LNBIP, vol. 171, pp. 66\u201378. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06257-0_6"},{"key":"1_CR17","unstructured":"Leemans, S.: Robust process mining with guarantees. Ph.D thesis, Eindhoven University of Technology (2017)"},{"issue":"4","key":"1_CR18","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00264612","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures. Part I, II. Acta Informatica 27, 315\u2013368 (1990)","journal-title":"Acta Informatica"},{"issue":"3","key":"1_CR19","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/TC.2009.131","volume":"59","author":"J Carmona","year":"2009","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: New region-based algorithms for deriving bounded Petri nets. IEEE Trans. Comput. 59(3), 371\u2013384 (2009)","journal-title":"IEEE Trans. Comput."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"van\u00a0der Aalst, W.M.P., Rubin, V., Verbeek, H.M.W.E., van Dongen, B.F., Kindler, E., G\u00fcnther, C.W.: Process mining: a two-step approach to balance between underfitting and overfitting. Softw. Syst. Modeling 9, 87 (2009)","DOI":"10.1007\/s10270-008-0106-z"},{"issue":"4","key":"1_CR21","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s002360050046","volume":"33","author":"J Desel","year":"1996","unstructured":"Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Inf. 33(4), 297\u2013315 (1996)","journal-title":"Acta Inf."},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/s10618-011-0226-x","volume":"24","author":"J Carmona","year":"2012","unstructured":"Carmona, J.: Projection approaches to process mining using region-based techniques. Data Min. Knowl. Discov. 24(1), 218\u2013246 (2012)","journal-title":"Data Min. Knowl. Discov."},{"issue":"3\u20134","key":"1_CR23","doi-asserted-by":"crossref","first-page":"343","DOI":"10.3233\/FI-2011-612","volume":"113","author":"M Sol\u00e9","year":"2011","unstructured":"Sol\u00e9, M., Carmona, J.: Light region-based techniques for process discovery. Fundam. Inform. 113(3\u20134), 343\u2013376 (2011)","journal-title":"Fundam. Inform."},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-29072-5_10","volume-title":"Transactions on Petri Nets and Other Models of Concurrency V","author":"M Sol\u00e9","year":"2012","unstructured":"Sol\u00e9, M., Carmona, J.: Incremental process discovery. In: Jensen, K., Donatelli, S., Kleijn, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency V. LNCS, vol. 6900, pp. 221\u2013242. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29072-5_10"},{"issue":"1","key":"1_CR25","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1109\/TKDE.2011.192","volume":"25","author":"M Sol\u00e9","year":"2013","unstructured":"Sol\u00e9, M., Carmona, J.: Region-based foldings in process discovery. IEEE Trans. Knowl. Data Eng. 25(1), 192\u2013205 (2013)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BFb0055646","volume-title":"CONCUR\u201998 Concurrency Theory","author":"P Darondeau","year":"1998","unstructured":"Darondeau, P.: Deriving unbounded Petri nets from formal languages. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 533\u2013548. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0055646"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/3-540-59293-8_207","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"E Badouel","year":"1995","unstructured":"Badouel, E., Bernardinello, L., Darondeau, P.: Polynomial algorithms for the synthesis of bounded nets. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds.) CAAP 1995. LNCS, vol. 915, pp. 364\u2013378. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59293-8_207"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Lorenz, R., Juh\u00e1s, R.: How to synthesize nets from languages - a survey. In: Proceedings of the Winter Simulation Conference, WSC 2007 (2007)","DOI":"10.1109\/WSC.2007.4419657"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of petri nets from infinite partial languages. In: ACSD, pp. 170\u2013179 (2008)","DOI":"10.1109\/ACSD.2008.4574609"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Lorenz, R.: Towards synthesis of petri nets from general partial languages. In: AWPN, pp. 55\u201362 (2008)","DOI":"10.1109\/ACSD.2007.34"},{"issue":"1","key":"1_CR31","doi-asserted-by":"crossref","first-page":"187","DOI":"10.3233\/FI-2009-147","volume":"95","author":"R Bergenthum","year":"2009","unstructured":"Bergenthum, R., Desel, J., Mauser, S., Lorenz, R.: Synthesis of petri nets from term based representations of infinite partial languages. Fundam. Inform. 95(1), 187\u2013217 (2009)","journal-title":"Fundam. Inform."},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Mauser, S., Lorenz, R.: Variants of the language based synthesis problem for petri nets. In: ACSD, pp. 89\u201398 (2009)","DOI":"10.1109\/ACSD.2009.19"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-642-38143-0_10","volume-title":"Transactions on Petri Nets and Other Models of Concurrency VII","author":"WMP Aalst van der","year":"2013","unstructured":"van der Aalst, W.M.P., van Dongen, B.F.: Discovering petri nets from event logs. In: Jensen, K., van der Aalst, W.M.P., Balbo, G., Koutny, M., Wolf, K. (eds.) Transactions on Petri Nets and Other Models of Concurrency VII. LNCS, vol. 7480, pp. 372\u2013422. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38143-0_10"},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/978-3-540-75183-0_27","volume-title":"Business Process Management","author":"R Bergenthum","year":"2007","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process mining based on regions of languages. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 375\u2013383. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75183-0_27"},{"issue":"3\u20134","key":"1_CR35","doi-asserted-by":"crossref","first-page":"387","DOI":"10.3233\/FI-2009-136","volume":"94","author":"JMEM Werf van der","year":"2009","unstructured":"van der Werf, J.M.E.M., van Dongen, B.F., Hurkens, C.A.J., Serebrenik, A.: Process discovery using integer linear programming. Fundam. Inform. 94(3\u20134), 387\u2013412 (2009)","journal-title":"Fundam. Inform."},{"issue":"5","key":"1_CR36","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/s00607-017-0582-5","volume":"100","author":"SJ Zelst van","year":"2018","unstructured":"van Zelst, S.J., van Dongen, B.F., van der Aalst, W.M.P., Verbeek, H.M.W.: Discovering workflow nets using integer linear programming. Computing 100(5), 529\u2013556 (2018)","journal-title":"Computing"},{"key":"1_CR37","unstructured":"van Zelst, S.J., van Dongen, B.F., van der Aalst, W.M.P.: ILP-based process discovery using hybrid regions. In: van der Aalst, W.M.P., Bergenthum, R., Carmona, J. (eds.) Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design, ACSD 2015, 22\u201323 June 2015, Brussels, Belgium, vol. 1371, pp. 47\u201361. CEUR Workshop Proceedings. CEUR-WS.org (2015)"},{"key":"1_CR38","unstructured":"Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Technische Universiteit Eindhoven (2014)"},{"key":"1_CR39","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.eswa.2017.03.047","volume":"82","author":"M Leoni de","year":"2017","unstructured":"de Leoni, M., Marrella, A.: Aligning real process executions and prescriptive process models through automated planning. Expert Syst. Appl. 82, 162\u2013183 (2017)","journal-title":"Expert Syst. Appl."},{"key":"1_CR40","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/978-3-319-69462-7_38","volume-title":"OTM 2017","author":"D Rei\u00dfner","year":"2017","unstructured":"Rei\u00dfner, D., Conforti, R., Dumas, M., Rosa, M.L., Armas-Cervantes, A.: Scalable conformance checking of business processes. In: Panetto, H., et al. (eds.) OTM 2017. LNCS, vol. 10573, pp. 607\u2013627. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-319-69462-7_38"},{"issue":"2","key":"1_CR41","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/s10270-016-0545-x","volume":"17","author":"SJJ Leemans","year":"2018","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Scalable process discovery and conformance checking. Softw. Syst. Modeling 17(2), 599\u2013631 (2018)","journal-title":"Softw. Syst. Modeling"},{"key":"1_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-45348-4_12","volume-title":"Business Process Management","author":"F Taymouri","year":"2016","unstructured":"Taymouri, F., Carmona, J.: A recursive paradigm for aligning observed behavior of large structured process models. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 197\u2013214. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_12"},{"key":"1_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-319-59536-8_7","volume-title":"Advanced Information Systems Engineering","author":"B Dongen van","year":"2017","unstructured":"van Dongen, B., Carmona, J., Chatain, T., Taymouri, F.: Aligning modeled and observed behavior: a compromise between computation complexity and quality. In: Dubois, E., Pohl, K. (eds.) CAiSE 2017. LNCS, vol. 10253, pp. 94\u2013109. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59536-8_7"},{"key":"1_CR44","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-74161-1_1","volume-title":"Data-Driven Process Discovery and Analysis","author":"F Taymouri","year":"2018","unstructured":"Taymouri, F., Carmona, J.: Model and event log reductions to boost the computation of alignments. In: Ceravolo, P., Guetl, C., Rinderle-Ma, S. (eds.) SIMPDA 2016. LNBIP, vol. 307, pp. 1\u201321. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74161-1_1"},{"key":"1_CR45","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/j.is.2014.04.003","volume":"46","author":"J Munoz-Gama","year":"2014","unstructured":"Munoz-Gama, J., Carmona, J., Van Der Aalst, W.M.P.: Single-entry single-exit decomposed conformance checking. Inf. Syst. 46, 102\u2013122 (2014)","journal-title":"Inf. Syst."},{"issue":"4","key":"1_CR46","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10619-013-7127-5","volume":"31","author":"WMP Aalst van der","year":"2013","unstructured":"van der Aalst, W.M.P.: Decomposing petri nets for process mining: a generic approach. Distrib. Parallel Databases 31(4), 471\u2013507 (2013)","journal-title":"Distrib. Parallel Databases"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Bloemen, V., van de Pol, J., van der Aalst, W.M.P.: Symbolically aligning observed and modelled behaviour. In: 18th International Conference on Application of Concurrency to System Design, ACSD, Bratislava, Slovakia, 25\u201329 June, pp. 50\u201359 (2018)","DOI":"10.1109\/ACSD.2018.00008"},{"key":"1_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-98648-7_14","volume-title":"Business Process Management","author":"V Bloemen","year":"2018","unstructured":"Bloemen, V., van Zelst, S.J., van der Aalst, W.M.P., van Dongen, B.F., van de Pol, J.: Maximizing synchronization for aligning observed and modelled behaviour. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 233\u2013249. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98648-7_14"},{"key":"1_CR49","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/j.is.2013.12.007","volume":"47","author":"D Fahland","year":"2015","unstructured":"Fahland, D., van der Aalst, W.M.P.: Model repair - aligning process models to reality. Inf. Syst. 47, 220\u2013243 (2015)","journal-title":"Inf. Syst."},{"issue":"1","key":"1_CR50","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"1_CR51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49451-7","volume-title":"Conformance Checking and Diagnosis in Process Mining - Comparing Observed and Modeled Processes","author":"J Munoz-Gama","year":"2016","unstructured":"Munoz-Gama, J.: Conformance Checking and Diagnosis in Process Mining - Comparing Observed and Modeled Processes. LNBIP. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-319-49451-7"},{"issue":"1","key":"1_CR52","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10257-014-0234-7","volume":"13","author":"A Adriansyah","year":"2015","unstructured":"Adriansyah, A., Munoz-Gama, J., Carmona, J., van Dongen, B.F., van der Aalst, W.M.P.: Measuring precision of modeled behavior. Inf. Syst. E-Business Manag. 13(1), 37\u201367 (2015)","journal-title":"Inf. Syst. E-Business Manag."},{"key":"1_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-319-39086-4_15","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"T Chatain","year":"2016","unstructured":"Chatain, T., Carmona, J.: Anti-alignments in conformance checking \u2013 the dark side of process models. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 240\u2013258. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39086-4_15"},{"key":"1_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-319-45348-4_3","volume-title":"Business Process Management","author":"BF Dongen van","year":"2016","unstructured":"van Dongen, B.F., Carmona, J., Chatain, T.: A unified approach for measuring precision and generalization based on anti-alignments. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 39\u201356. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_3"},{"key":"1_CR55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2018","unstructured":"Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management, 2nd edn. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-56509-4","edition":"2"},{"issue":"8","key":"1_CR56","doi-asserted-by":"publisher","first-page":"1877","DOI":"10.1109\/TKDE.2013.130","volume":"26","author":"Seppe K. L. M. vanden Broucke","year":"2014","unstructured":"vanden Broucke, S.K.L.M., Weerdt, J.D., Vanthienen, J., Baesens, B.: Determining process model precision and generalization with weighted artificial negative events. IEEE Trans. Knowl. Data Eng. 26(8), 1877\u20131889 (2014)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"1_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-76848-7_9","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"J Mendling","year":"2007","unstructured":"Mendling, J., Neumann, G., van der Aalst, W.: Understanding the occurrence of errors in process models based on metrics. In: Meersman, R., Tari, Z. (eds.) OTM 2007. LNCS, vol. 4803, pp. 113\u2013130. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76848-7_9"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XIV"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-60651-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,6]],"date-time":"2022-10-06T09:03:19Z","timestamp":1665046999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-60651-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662606506","9783662606513"],"references-count":57,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-60651-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"21 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}