{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T08:43:43Z","timestamp":1780044223427,"version":"3.53.1"},"publisher-location":"Cham","reference-count":80,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031088476","type":"print"},{"value":"9783031088483","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T00:00:00Z","timestamp":1656288000000},"content-version":"vor","delay-in-days":177,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>By relating observed and modelled behaviour, conformance checking unleashes the full power of process mining. Techniques from this discipline enable the analysis of the quality of a process model discovered from event data, the identification of potential deviations, and the projection of real traces onto process models. This way, the insights gained from the available event data can be transferred to a richer conceptual level, amenable for a human interpretation. The aforementioned functionalities are grounded on the use of conformance checking artefacts that explicit the relation between observed and modelled behaviour. This chapter describes these artefacts, and builds upon them to gain evidence-based insights on the processes of an organization. Moreover, we overview the applications of conformance checking and propose a general framework that incorporates these applications. Finally, milestones and challenges of the field are outlined.<\/jats:p>","DOI":"10.1007\/978-3-031-08848-3_5","type":"book-chapter","created":{"date-parts":[[2022,6,26]],"date-time":"2022-06-26T23:02:48Z","timestamp":1656284568000},"page":"155-190","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":44,"title":["Conformance Checking: Foundations, Milestones and\u00a0Challenges"],"prefix":"10.1007","author":[{"given":"Josep","family":"Carmona","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Boudewijn","family":"van Dongen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Weidlich","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,6,27]]},"reference":[{"key":"5_CR1","unstructured":"Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Technische Universiteit Eindhoven (2014)"},{"key":"5_CR2","doi-asserted-by":"crossref","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-Bus. Manag. 13(1), 37\u201367 (2015)","DOI":"10.1007\/s10257-014-0234-7"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Alizadeh, M., Lu, X., Fahland, D., Zannone, N., van der Aalst, W.M.P.: Linking data and process perspectives for conformance analysis. Comput. Secur. 73, 172\u2013193 (2018)","DOI":"10.1016\/j.cose.2017.10.010"},{"issue":"2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10115-018-1214-x","volume":"59","author":"A Augusto","year":"2018","unstructured":"Augusto, A., Conforti, R., Dumas, M., La Rosa, M., Polyvyanyy, A.: Split miner: automated discovery of accurate and simple business process models from event logs. Knowl. Inf. Syst. 59(2), 251\u2013284 (2018). https:\/\/doi.org\/10.1007\/s10115-018-1214-x","journal-title":"Knowl. Inf. Syst."},{"key":"5_CR5","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-030-79108-7_10","volume-title":"Intelligent Information Systems","author":"AS Mozafari Mehr","year":"2021","unstructured":"Mozafari Mehr, A.S., de Carvalho, R.M., van Dongen, B.: Detecting privacy, data and control-flow deviations in business processes. In: Nurcan, S., Korthaus, A. (eds.) CAiSE 2021. LNBIP, vol. 424, pp. 82\u201391. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79108-7_10"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Bauer, M., van der Aa, H., Weidlich, M.: Sampling and approximation techniques for efficient process conformance checking. Inf. Syst. 104, 101666 (2022)","DOI":"10.1016\/j.is.2020.101666"},{"key":"5_CR7","unstructured":"Berti, A., van der Aalst, W.M.P.: Reviving token-based replay: Increasing speed while improving diagnostics. 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 2019 Satellite Event of the Conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets\/ACSD 2019, Aachen, Germany, 25 June 2019, vol. 2371 of CEUR Workshop Proceedings, pp. 87\u2013103. CEUR-WS.org (2019)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Berti, A., van der Aalst, W.M.P.: A novel token-based replay technique to speed up conformance checking and process enhancement. Trans. Petri Nets Other Model. Concurr. 15, 1\u201326 (2021)","DOI":"10.1007\/978-3-662-63079-2_1"},{"key":"5_CR9","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 2018, Bratislava, Slovakia, 25\u201329 June 2018, pp. 50\u201359 (2018)","DOI":"10.1109\/ACSD.2018.00008"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"Boltenhagen, M., Chatain, T., Carmona, J.: Optimized SAT encoding of conformance checking artefacts. Computing 103(1), 29\u201350 (2020). https:\/\/doi.org\/10.1007\/s00607-020-00831-8","DOI":"10.1007\/s00607-020-00831-8"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Burattin, A.: Streaming process mining. In: van der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook. LNBIP, vol. 448, pp. xx\u2013yy. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-08848-3_11"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Burattin, A., Carmona, J.: A framework for online conformance checking. In: Teniente, E., Weidlich, M. (eds.) BPM 2017. LNBIP, vol. 308, pp. 165\u2013177. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74030-0_12","DOI":"10.1007\/978-3-319-74030-0_12"},{"key":"5_CR13","doi-asserted-by":"publisher","unstructured":"Burattin, A., van Zelst, S.J., Armas-Cervantes, A., van Dongen, B.F., Carmona, J.: Online conformance checking using behavioural patterns. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 250\u2013267. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98648-7_15","DOI":"10.1007\/978-3-319-98648-7_15"},{"key":"5_CR14","doi-asserted-by":"publisher","unstructured":"Carmona, J., van Dongen, B.F., Solti, A., Weidlich, M.: Conformance Checking - Relating Processes and Models. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99414-7","DOI":"10.1007\/978-3-319-99414-7"},{"key":"5_CR15","doi-asserted-by":"publisher","unstructured":"Chesani, F., Ciampolini, A., Loreti, D., Mello, P.: Map reduce autoscaling over the cloud with process mining monitoring. In: Helfert, M., Ferguson, D., M\u00e9ndez Mu\u00f1oz, V., Cardoso, J. (eds.) CLOSER 2016. CCIS, vol. 740, pp. 109\u2013130. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-62594-2_6","DOI":"10.1007\/978-3-319-62594-2_6"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Cugola, G., Margara, A.: Processing flows of information: from data stream to complex event processing. ACM Comput. Surv. 44(3), 15:1\u201315:62 (2012)","DOI":"10.1145\/2187671.2187677"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Daum, M., G\u00f6tz, M., Domaschka, J.: Integrating CEP and BPM: how CEP realizes functional requirements of BPM applications (industry article). In: Bry, F., Paschke, A., Eugster, P.Th., Fetzer, C., Behrend, A. (eds.) Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, DEBS 2012, Berlin, Germany, 16\u201320 July 2012, pp. 157\u2013166. ACM (2012)","DOI":"10.1145\/2335484.2335503"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"de Leoni, M.: Foundations of process enhancement. In: van der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook. LNBIP, vol. 448, pp. xx\u2013yy. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-08848-3_8"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"de Leoni, M., Marrella, A.: Aligning real process executions and prescriptive process models through automated planning. Expert Syst. Appl. 82, 162\u2013183 (2017)","DOI":"10.1016\/j.eswa.2017.03.047"},{"key":"5_CR20","doi-asserted-by":"publisher","unstructured":"de Leoni, M., van der Aalst, W.M.P.: Aligning Event logs and process models for multi-perspective conformance checking: an approach based on integer linear programming. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 113\u2013129. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40176-3_10","DOI":"10.1007\/978-3-642-40176-3_10"},{"key":"5_CR21","doi-asserted-by":"publisher","unstructured":"de Leoni, M., van der Aalst, W.M.P., van Dongen, B.F.: Data- and resource-aware conformance checking of business processes. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS 2012. LNBIP, vol. 117, pp. 48\u201359. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30359-3_5","DOI":"10.1007\/978-3-642-30359-3_5"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley, Hoboken (2005)","DOI":"10.1002\/0471741442"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Evermann, J.: Scalable process discovery using map-reduce. IEEE Trans. Serv. Comput. 9(3), 469\u2013481 (2016)","DOI":"10.1109\/TSC.2014.2367525"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Fahland, D., van der Aalst, W.M.P.: Model repair - aligning process models to reality. Inf. Syst. 47, 220\u2013243 (2015)","DOI":"10.1016\/j.is.2013.12.007"},{"key":"5_CR25","doi-asserted-by":"publisher","unstructured":"Felli, P., Gianola, A., Montali, M., Rivkin, A., Winkler, S.: CoCoMoT: conformance checking of multi-perspective processes via SMT. In: Polyvyanyy, A., Wynn, M.T., Van Looy, A., Reichert, M. (eds.) BPM 2021. LNCS, vol. 12875, pp. 217\u2013234. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85469-0_15","DOI":"10.1007\/978-3-030-85469-0_15"},{"key":"5_CR26","doi-asserted-by":"publisher","unstructured":"G\u00fcnther, C.W., van der Aalst, W.M.P.: Fuzzy mining \u2013 adaptive process simplification based on multi-perspective metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328\u2013343. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75183-0_24","DOI":"10.1007\/978-3-540-75183-0_24"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Janssenswillen, G., Depaire, B.: Towards confirmatory process discovery: making assertions about the underlying system. Bus. Inf. Syst. Eng. 61, 1\u201316 (2019)","DOI":"10.1007\/s12599-018-0567-8"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Kabierski, M., Lam Nguyen, H., Grunske, L., Weidlich, M.: Sampling what matters: relevance-guided sampling of event logs. In: Di Ciccio, C., Di Francescomarino, C., Soffer, P. (eds.) 3rd International Conference on Process Mining, ICPM 2021, Eindhoven, Netherlands, 31 - November 4, 2021, pp. 64\u201371. IEEE (2021)","DOI":"10.1109\/ICPM53251.2021.9576875"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Lee, W.L.J., Verbeek, H.M.W., Munoz-Gama, J., van der Aalst, W.M.P., Sep\u00falveda, M.: Recomposing conformance: closing the circle on decomposed alignment-based conformance checking in process mining. Inf. Sci. 466, 55\u201391 (2018)","DOI":"10.1016\/j.ins.2018.07.026"},{"key":"5_CR30","unstructured":"Leemans, S.: Robust process mining with guarantees. Ph.D. thesis, Eindhoven University of Technology (2017)"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Scalable process discovery and conformance checking. Softw. Syst. Model. 17(2), 599\u2013631 (2018)","DOI":"10.1007\/s10270-016-0545-x"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.M.P.: Balanced multi-perspective checking of process conformance. Computing, 98(4), 407\u2013437 (2016)","DOI":"10.1007\/s00607-015-0441-1"},{"key":"5_CR33","doi-asserted-by":"publisher","unstructured":"Marquard, M., Shahzad, M., Slaats, T.: Web-based modelling and collaborative simulation of declarative processes. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 209\u2013225. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23063-4_15","DOI":"10.1007\/978-3-319-23063-4_15"},{"key":"5_CR34","doi-asserted-by":"publisher","unstructured":"Mu\u00f1oz-Gama, J., Carmona, J.: A fresh look at precision in process conformance. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 211\u2013226. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15618-2_16","DOI":"10.1007\/978-3-642-15618-2_16"},{"key":"5_CR35","doi-asserted-by":"crossref","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)","DOI":"10.1016\/j.is.2014.04.003"},{"key":"5_CR36","unstructured":"Nolle. T.: Process learning for autonomous process anomaly correction. Ph.D. thesis, Technical University of Darmstadt, Germany (2020)"},{"key":"5_CR37","doi-asserted-by":"publisher","unstructured":"Nolle, T., Seeliger, A., Thoma, N., M\u00fchlh\u00e4user, M.: DeepAlign: alignment-based process anomaly correction using recurrent neural networks. In: Dustdar, S., Yu, E., Salinesi, C., Rieu, D., Pant, V. (eds.) CAiSE 2020. LNCS, vol. 12127, pp. 319\u2013333. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-49435-3_20","DOI":"10.1007\/978-3-030-49435-3_20"},{"key":"5_CR38","doi-asserted-by":"publisher","unstructured":"Padr\u00f3, L., Carmona, J.: Approximate computation of alignments of business processes through relaxation labelling. In: Hildebrandt, T., van Dongen, B.F., R\u00f6glinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 250\u2013267. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26619-6_17","DOI":"10.1007\/978-3-030-26619-6_17"},{"key":"5_CR39","doi-asserted-by":"crossref","unstructured":"Padr\u00f3, L., Carmona, J.: Computation of alignments of business processes through relaxation labeling and local optimal search. Inf. Syst. 104, 101703 (2022)","DOI":"10.1016\/j.is.2020.101703"},{"key":"5_CR40","doi-asserted-by":"publisher","unstructured":"Polyvyanyy, A., Armas-Cervantes, A., Dumas, M., Garcia-Banuelos, L.: On the expressive power of behavioral profiles. Formal Aspects Comput. 28(4), 597\u2013613 (2016). https:\/\/doi.org\/10.1007\/s00165-016-0372-4","DOI":"10.1007\/s00165-016-0372-4"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A., Moffat, A., Garcia-Banuelos. L.: Bootstrapping generalization of process models discovered from event data (2021)","DOI":"10.1007\/978-3-031-07472-1_3"},{"key":"5_CR42","doi-asserted-by":"publisher","unstructured":"Polyvyanyy, A., Weidlich, M., Conforti, R., La Rosa, M., ter Hofstede, A.H.M.: The 4C spectrum of fundamental behavioral relations for concurrent systems. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 210\u2013232. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07734-5_12","DOI":"10.1007\/978-3-319-07734-5_12"},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Rei\u00dfner, D., Armas-Cervantes, A., Conforti, R., Dumas, M., Fahland, D., La Rosa, M.: Scalable alignment of process models and event logs: an approach based on automata and s-components. Inf. Syst. 94, 101561 (2020)","DOI":"10.1016\/j.is.2020.101561"},{"key":"5_CR44","doi-asserted-by":"crossref","unstructured":"Rei\u00dfner, D., Conforti, R., Dumas, M., La Rosa, M., Armas-Cervantes, A.: Scalable conformance checking of business processes. In: OTM CoopIS, Rhodes, pp. 607\u2013627 (2017)","DOI":"10.1007\/978-3-319-69462-7_38"},{"key":"5_CR45","doi-asserted-by":"crossref","unstructured":"Rei\u00dfner, D., Armas-Cervantes, A., Conforti, R., Dumas, M., Fahland, D., La Rosa, M.: Scalable alignment of process models and event logs: an approach based on automata and s-components. Inf. Syst. 94, 101561 (2020)","DOI":"10.1016\/j.is.2020.101561"},{"key":"5_CR46","doi-asserted-by":"crossref","unstructured":"Roehm, H., Oehlerking, J., Woehrle, M., Althoff, M.: Model conformance for cyber-physical systems: a survey. Trans. Cyber Phys. Syst. 3(3), 30:1\u201330:26 (2019)","DOI":"10.1145\/3306157"},{"key":"5_CR47","doi-asserted-by":"publisher","unstructured":"Rogge-Solti, A., Mans, R.S., van der Aalst, W.M.P., Weske, M.: Improving documentation by repairing event logs. In: Grabis, J., Kirikova, M., Zdravkovic, J., Stirna, J. (eds.) PoEM 2013. LNBIP, vol. 165, pp. 129\u2013144. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41641-5_10","DOI":"10.1007\/978-3-642-41641-5_10"},{"key":"5_CR48","doi-asserted-by":"publisher","unstructured":"Rogge-Solti, A., Senderovich, A., Weidlich, M., Mendling, J., Gal, A.: In log and model we trust? A generalized conformance checking framework. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 179\u2013196. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_11","DOI":"10.1007\/978-3-319-45348-4_11"},{"key":"5_CR49","unstructured":"Rozinat, A.: Process mining conformance and extension. Ph.D. thesis, Technische Universiteit Eindhoven (2010)"},{"key":"5_CR50","doi-asserted-by":"crossref","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)","DOI":"10.1016\/j.is.2007.07.001"},{"key":"5_CR51","doi-asserted-by":"crossref","unstructured":"Fani Sani, M., Garza Gonzalez, J.J., van Zelst, S.J., van der Aalst, W.M.P.: Conformance checking approximation using simulation. In: van Dongen, B.F., Montali, M., Wynn, M.T. (eds.) 2nd International Conference on Process Mining, ICPM 2020, Padua, Italy, 4\u20139 October 2020, pp. 105\u2013112. IEEE (2020)","DOI":"10.1109\/ICPM49681.2020.00025"},{"key":"5_CR52","doi-asserted-by":"publisher","unstructured":"Fani\u00a0Sani, M., van Zelst, S.J., van\u00a0der Aalst, W.M.P.: Conformance checking approximation using subset selection and edit distance. In: Dustdar, S., Yu, E., Salinesi, C., Rieu, D., Pant, V. (eds.) CAiSE 2020. LNCS, vol. 12127, pp. 234\u2013251. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-49435-3_15","DOI":"10.1007\/978-3-030-49435-3_15"},{"key":"5_CR53","doi-asserted-by":"crossref","unstructured":"Senderovich, A., Weidlich, M., Yedidsion, L., Gal, A., Mandelbaum, A., Kadish, S., Bunnell, C.A.: Conformance checking and performance improvement in scheduled processes: a queueing-network perspective. Inf. Syst. 62, 185\u2013206 (2016)","DOI":"10.1016\/j.is.2016.01.002"},{"key":"5_CR54","doi-asserted-by":"publisher","unstructured":"Taghiabadi, E.R., Gromov, V., Fahland, D., van der Aalst, W.M.P.: Compliance checking of data-aware and resource-aware compliance requirements. In: Meersman, R., Panetto, H., Dillon, T., Missikoff, M., Liu, L., Pastor, O., Cuzzocrea, A., Sellis, T. (eds.) OTM 2014. LNCS, vol. 8841, pp. 237\u2013257. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45563-0_14","DOI":"10.1007\/978-3-662-45563-0_14"},{"key":"5_CR55","doi-asserted-by":"crossref","unstructured":"Tax, N., Lu, X., Sidorova, N., Fahland, D., van der Aalst, W.M.P.: The imprecisions of precision measures in process mining. Inf. Process. Lett. 135, 1\u20138 (2018)","DOI":"10.1016\/j.ipl.2018.01.013"},{"key":"5_CR56","doi-asserted-by":"publisher","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","DOI":"10.1007\/978-3-319-74161-1_1"},{"key":"5_CR57","doi-asserted-by":"crossref","unstructured":"Taymouri, F., Carmona, J.: A recursive paradigm for aligning observed behavior of large structured process models. In: 14th International Conference of Business Process Management (BPM), Rio de Janeiro, Brazil, 18\u201322 September 2016","DOI":"10.1007\/978-3-319-45348-4_12"},{"key":"5_CR58","doi-asserted-by":"publisher","unstructured":"Taymouri, F., Carmona, J.: An evolutionary technique to approximate multiple optimal alignments. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 215\u2013232. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98648-7_13","DOI":"10.1007\/978-3-319-98648-7_13"},{"key":"5_CR59","doi-asserted-by":"publisher","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","DOI":"10.1007\/978-3-319-74161-1_1"},{"key":"5_CR60","doi-asserted-by":"crossref","unstructured":"Taymouri, F., Carmona, J.: Structural computation of alignments of business processes over partial orders. In: 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, 23\u201328 June 2019, pp. 73\u201381 (2019)","DOI":"10.1109\/ACSD.2019.00012"},{"key":"5_CR61","doi-asserted-by":"crossref","unstructured":"Taymouri, F., Carmona, J.: Computing alignments of well-formed process models using local search. ACM Trans. Softw. Eng. Methodol. 29(3), 15:1\u201315:41 (2020)","DOI":"10.1145\/3394056"},{"key":"5_CR62","doi-asserted-by":"crossref","unstructured":"Valencia-Parra, \u00c1., Varela-Vaca, \u00c1, J., Teresa G\u00f3mez L\u00f3pez, M., Carmona, J., Bergenthum, R.: Empowering conformance checking using big data through horizontal decomposition. Inf. Syst. 99, 101731 (2021)","DOI":"10.1016\/j.is.2021.101731"},{"key":"5_CR63","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Decomposing petri nets for process mining: a generic approach. Distrib. Parallel Databases 31(4), 471\u2013507 (2013)","DOI":"10.1007\/s10619-013-7127-5"},{"key":"5_CR64","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.F.: Replaying history on process models for conformance checking and performance analysis. WIREs Data Min. Knowl. Discov. 2(2), 182\u2013192 (2012)","DOI":"10.1002\/widm.1045"},{"key":"5_CR65","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","DOI":"10.1109\/TKDE.2004.47"},{"key":"5_CR66","doi-asserted-by":"publisher","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","DOI":"10.1007\/978-3-319-59536-8_7"},{"key":"5_CR67","doi-asserted-by":"publisher","unstructured":"van Dongen, B.F.: Efficiently computing alignments. In: Daniel, F., Sheng, Q., Motahari, H. (eds.) BPM 2018. LNBIP, vol. 342, pp. 44\u201355. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-11641-5_4","DOI":"10.1007\/978-3-030-11641-5_4"},{"key":"5_CR68","doi-asserted-by":"publisher","unstructured":"Dongen, B.F.: Efficiently computing alignments. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 197\u2013214. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98648-7_12","DOI":"10.1007\/978-3-319-98648-7_12"},{"key":"5_CR69","doi-asserted-by":"publisher","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","DOI":"10.1007\/978-3-319-45348-4_3"},{"key":"5_CR70","doi-asserted-by":"crossref","unstructured":"van Zelst, S.J., Bolt, A., Hassani, M., van Dongen, B.F., van der Aalst, W.M.P.: Online conformance checking: relating event streams to process models using prefix-alignments. Int. J. Data Sci. Anal. 8(3), 269\u2013284 (2019)","DOI":"10.1007\/s41060-017-0078-6"},{"key":"5_CR71","doi-asserted-by":"crossref","unstructured":"vanden Broucke, S.K.L.M., Munoz-Gama, J., Carmona, J., Baesens, B., Vanthienen, J.: Event-based real-time decomposed conformance analysis. In: Proceedings on the Move to Meaningful Internet Systems: OTM 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014, Amantea, Italy, 27\u201331 October 2014, pp. 345\u2013363 (2014)","DOI":"10.1007\/978-3-662-45563-0_20"},{"key":"5_CR72","doi-asserted-by":"crossref","unstructured":"vanden Broucke, S.K.L.M., De Weerdt, J., 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)","DOI":"10.1109\/TKDE.2013.130"},{"key":"5_CR73","doi-asserted-by":"publisher","unstructured":"Verbeek, H.M.W., van der Aalst, W.M.P.: Merging alignments for decomposed replay. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 219\u2013239. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39086-4_14","DOI":"10.1007\/978-3-319-39086-4_14"},{"key":"5_CR74","doi-asserted-by":"crossref","unstructured":"Wang, J., Song, S., Lin, X., Zhu, X., Pei, J.: Cleaning structured event logs: a graph repair approach. In: Gehrke, J., Lehner, W., Shim, K., Cha, S.K., Lohman, G.M. (eds.) 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, 13\u201317 April 2015, pp. 30\u201341. IEEE Computer Society (2015)","DOI":"10.1109\/ICDE.2015.7113270"},{"key":"5_CR75","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioral profiles of process models. IEEE Trans. Softw. Eng. 37(3), 410\u2013429 (2011)","DOI":"10.1109\/TSE.2010.96"},{"key":"5_CR76","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Polyvyanyy, A., Desai, N., Mendling, J., Weske, M.: Process compliance analysis based on behavioural profiles. Inf. Syst. 36(7), 1009\u20131025 (2011)","DOI":"10.1016\/j.is.2011.04.002"},{"key":"5_CR77","doi-asserted-by":"crossref","unstructured":"Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Causal behavioural profiles - efficient computation, applications, and evaluation. Fundam. Informaticae 113(3\u20134), 399\u2013435 (2011)","DOI":"10.3233\/FI-2011-614"},{"key":"5_CR78","doi-asserted-by":"publisher","unstructured":"Weidlich, M., Ziekow, H., Mendling, J., G\u00fcnther, O., Weske, M., Desai, N.: Event-based monitoring of process execution violations. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 182\u2013198. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23059-2_16","DOI":"10.1007\/978-3-642-23059-2_16"},{"key":"5_CR79","unstructured":"(Ton) Weijters, A.J.M.M., van der Aalst, W.M.P., Alves De Medeiros, A.K.: Process mining with the heuristics miner-algorithm. Technical Report 166, Technische Universiteit Eindhoven (2006)"},{"key":"5_CR80","doi-asserted-by":"crossref","unstructured":"Zha, H., Wang, J., Wen, L., Wang, C., Sun, J.: A workflow net similarity measure based on transition adjacency relations. Comput. Ind. 61(5), 463\u2013471 (2010)","DOI":"10.1016\/j.compind.2010.01.001"}],"container-title":["Lecture Notes in Business Information Processing","Process Mining Handbook"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-08848-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T15:28:23Z","timestamp":1709825303000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-08848-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031088476","9783031088483"],"references-count":80,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-08848-3_5","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"27 June 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}