{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T12:18:14Z","timestamp":1774873094015,"version":"3.50.1"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032176172","type":"print"},{"value":"9783032176189","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-17618-9_25","type":"book-chapter","created":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:08:54Z","timestamp":1774868934000},"page":"349-367","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["There\u2019s no Process Mining without Conformance Checking"],"prefix":"10.1007","author":[{"given":"Boudewijn F.","family":"van Dongen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,3,30]]},"reference":[{"key":"25_CR1","unstructured":"Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Technische Universiteit Eindhoven (2014)"},{"issue":"1","key":"25_CR2","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-Bus. Manag. 13(1), 37\u201367 (2015). https:\/\/doi.org\/10.1007\/s10257-014-0234-7","journal-title":"Inf. Syst. E-Bus. Manag."},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.cose.2017.10.010","volume":"73","author":"M Alizadeh","year":"2018","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). https:\/\/doi.org\/10.1016\/j.cose.2017.10.010","journal-title":"Comput. Secur."},{"key":"25_CR4","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":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-662-63079-2_1","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XV","author":"A Berti","year":"2021","unstructured":"Berti, A., van der Aalst, W.M.P.: A novel token-based replay technique to speed up conformance checking and process enhancement. In: Koutny, M., Kordon, F., Pomello, L. (eds.) Transactions on Petri Nets and Other Models of Concurrency XV. LNCS, vol. 12530, pp. 1\u201326. Springer, Heidelberg (2021). https:\/\/doi.org\/10.1007\/978-3-662-63079-2_1"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Bloemen, V., van\u00a0de Pol, J., van\u00a0der 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"},{"issue":"1","key":"25_CR7","doi-asserted-by":"publisher","first-page":"1440001","DOI":"10.1142\/S0218843014400012","volume":"23","author":"JCAM 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. Cooperative Inf. Syst. 23(1), 1440001 (2014). https:\/\/doi.org\/10.1142\/S0218843014400012","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"25_CR8","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":"25_CR9","doi-asserted-by":"crossref","unstructured":"Chatain, T., Carmona, J.: Anti-alignments in conformance checking - the dark side of process models. In: Proceedings of the Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toru\u0144, Poland, 19\u201324 June 2016, pp. 240\u2013258 (2016)","DOI":"10.1007\/978-3-319-39086-4_15"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.eswa.2017.03.047","volume":"82","author":"M de Leoni","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":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-642-40176-3_10","volume-title":"Business Process Management","author":"M de Leoni","year":"2013","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"},{"key":"25_CR12","doi-asserted-by":"publisher","unstructured":"Dunzer, S., Stierle, M., Matzner, M., Baier, S.: Conformance checking: a state-of-the-art literature review. In: Betz, S. (ed.) Proceedings of the 11th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2019, Seville, Spain, 26\u201328 June 2019, pp. 4:1\u20134:10. ACM (2019). https:\/\/doi.org\/10.1145\/3329007.3329014","DOI":"10.1145\/3329007.3329014"},{"issue":"1","key":"25_CR13","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/s44311-025-00015-7","volume":"2","author":"L Genga","year":"2025","unstructured":"Genga, L., Winter, K.: Artificial intelligence in conformance checking: state of the art and research agenda. Process Sci. 2(1), 9 (2025). https:\/\/doi.org\/10.1007\/s44311-025-00015-7","journal-title":"Process Sci."},{"issue":"3","key":"25_CR14","doi-asserted-by":"publisher","first-page":"2291","DOI":"10.1007\/s10115-024-02280-7","volume":"67","author":"SJJ Leemans","year":"2025","unstructured":"Leemans, S.J.J., Brockhoff, T., van der Aalst, W.M.P., Polyvyanyy, A.: Partially ordered stochastic conformance checking. Knowl. Inf. Syst. 67(3), 2291\u20132319 (2025). https:\/\/doi.org\/10.1007\/s10115-024-02280-7","journal-title":"Knowl. Inf. Syst."},{"issue":"2","key":"25_CR15","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/s10270-016-0545-x","volume":"17","author":"SJJ Leemans","year":"2016","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 (2016). https:\/\/doi.org\/10.1007\/s10270-016-0545-x","journal-title":"Softw. Syst. Model."},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-030-49435-3_14","volume-title":"Advanced Information Systems Engineering","author":"SJJ Leemans","year":"2020","unstructured":"Leemans, S.J.J., Polyvyanyy, A.: Stochastic-aware conformance checking: an entropy-based approach. In: Dustdar, S., Yu, E., Salinesi, C., Rieu, D., Pant, V. (eds.) CAiSE 2020. LNCS, vol. 12127, pp. 217\u2013233. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-49435-3_14"},{"key":"25_CR17","doi-asserted-by":"publisher","unstructured":"Leemans, S.J.J., van der Aalst, W.M.P., Brockhoff, T., Polyvyanyy, A.: Stochastic process mining: earth movers\u2019 stochastic conformance. Inf. Syst. 102, 101724 (2021). https:\/\/doi.org\/10.1016\/j.is.2021.101724. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0306437921000041","DOI":"10.1016\/j.is.2021.101724"},{"key":"25_CR18","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.jvlc.2014.12.008","volume":"28","author":"IA Letia","year":"2015","unstructured":"Letia, I.A., Goron, A.: Model checking as support for inspecting compliance to rules in flexible processes. J. Vis. Lang. Comput. 28, 100\u2013121 (2015). https:\/\/doi.org\/10.1016\/j.jvlc.2014.12.008","journal-title":"J. Vis. Lang. Comput."},{"issue":"4","key":"25_CR19","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s00607-015-0441-1","volume":"98","author":"F Mannhardt","year":"2015","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 (2015). https:\/\/doi.org\/10.1007\/s00607-015-0441-1","journal-title":"Computing"},{"issue":"2","key":"25_CR20","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., van der Aalst, W.M.P.: Seven process modeling guidelines (7PMG). Inf. Softw. Technol. 52(2), 127\u2013136 (2010)","journal-title":"Inf. Softw. Technol."},{"key":"25_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-15618-2_16","volume-title":"Business Process Management","author":"J Mu\u00f1oz-Gama","year":"2010","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"},{"key":"25_CR22","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2020.101703","volume":"104","author":"L Padr\u00f3","year":"2022","unstructured":"Padr\u00f3, L., Carmona, J.: Computation of alignments of business processes through relaxation labeling and local optimal search. Inf. Syst. 104, 101703 (2022). https:\/\/doi.org\/10.1016\/j.is.2020.101703","journal-title":"Inf. Syst."},{"key":"25_CR23","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-031-70418-5_11","volume-title":"BPM 2024","author":"G Park","year":"2024","unstructured":"Park, G., Adams, J.N., van der Aalst, W.M.P.: Conformance checking and performance analysis using object-centric directly-follows graphs. In: Marrella, A., Resinas, M., Jans, M., Rosemann, M. (eds.) BPM 2024. LNBIP, vol. 526, pp. 179\u2013196. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-70418-5_11"},{"key":"25_CR24","doi-asserted-by":"publisher","DOI":"10.1016\/J.IS.2025.102525","volume":"131","author":"M Rafiei","year":"2025","unstructured":"Rafiei, M., Pourbafrani, M., van der Aalst, W.M.P.: Federated conformance checking. Inf. Syst. 131, 102525 (2025). https:\/\/doi.org\/10.1016\/J.IS.2025.102525","journal-title":"Inf. Syst."},{"key":"25_CR25","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, Greece, pp. 607\u2013627 (2017)","DOI":"10.1007\/978-3-319-69462-7_38"},{"key":"25_CR26","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1016\/j.is.2020.101561. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0306437920300545","DOI":"10.1016\/j.is.2020.101561"},{"issue":"1","key":"25_CR27","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). https:\/\/doi.org\/10.1016\/j.is.2007.07.001","journal-title":"Inf. Syst."},{"key":"25_CR28","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-031-33620-1_6","volume-title":"PETRI NETS 2023","author":"D Sommers","year":"2023","unstructured":"Sommers, D., Sidorova, N., van Dongen, B.: Exact and approximated log alignments for processes with inter-case dependencies. In: Gomes, L., Lorenz, R. (eds.) PETRI NETS 2023. LNCS, vol. 13929, pp. 99\u2013119. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33620-1_6"},{"key":"25_CR29","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-031-61433-0_4","volume-title":"PETRI NETS 2024","author":"D Sommers","year":"2024","unstructured":"Sommers, D., Sidorova, N., van Dongen, B.: Conformance checking with model projections. In: Kristensen, L.M., van der Werf, J.M. (eds.) PETRI NETS 2024. LNCS, vol. 14628, pp. 61\u201382. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-61433-0_4"},{"key":"25_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-662-45563-0_14","volume-title":"On the Move to Meaningful Internet Systems: OTM 2014 Conferences","author":"ER Taghiabadi","year":"2014","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., et al. (eds.) OTM 2014. LNCS, vol. 8841, pp. 237\u2013257. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45563-0_14"},{"key":"25_CR31","doi-asserted-by":"publisher","unstructured":"Tax, N., Lu, X., Sidorova, N., Fahland, D., van\u00a0der Aalst, W.M.P.: The imprecisions of precision measures in process mining. Inf. Process. Lett. 135, 1\u20138 (2018). https:\/\/doi.org\/10.1016\/j.ipl.2018.01.013. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0020019018300280","DOI":"10.1016\/j.ipl.2018.01.013"},{"key":"25_CR32","unstructured":"Taymouri, F., Carmona, J.: Model and event log reductions to boost the computation of alignments. In: Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), Graz, Austria, 15\u201316 December 2016, pp. 50\u201362 (2016). http:\/\/ceur-ws.org\/Vol-1757\/paper4.pdf"},{"key":"25_CR33","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":"25_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-98648-7_13","volume-title":"Business Process Management","author":"F Taymouri","year":"2018","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"},{"key":"25_CR35","doi-asserted-by":"publisher","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. IEEE (2019). https:\/\/doi.org\/10.1109\/ACSD.2019.00012","DOI":"10.1109\/ACSD.2019.00012"},{"key":"25_CR36","unstructured":"van\u00a0der Aalst, W.M.P.: Lifting process discovery and conformance checking to the next level: a general approach to object-centric process mining (invited talk). In: K\u00f6hler-Bussmeier, M., Moldt, D., R\u00f6lke, H. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), 24\u201325 June 2024, Geneva, Switzerland. CEUR Workshop Proceedings, vol. 3730 , pp. 1\u201312. CEUR-WS.org (2024). https:\/\/ceur-ws.org\/Vol-3730\/keynote.pdf"},{"key":"25_CR37","doi-asserted-by":"publisher","unstructured":"van\u00a0der Aalst, W.M.P., Adriansyah, A., van Dongen, B.F.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdiscip. Rev. Data Min. Knowl. Discov. 2(2), 182\u2013192 (2012). https:\/\/doi.org\/10.1002\/widm.1045","DOI":"10.1002\/widm.1045"},{"issue":"9","key":"25_CR38","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP van der Aalst","year":"2004","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). https:\/\/doi.org\/10.1109\/TKDE.2004.47","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"25_CR39","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 van Dongen","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":"25_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-98648-7_12","volume-title":"Business Process Management","author":"BF Dongen","year":"2018","unstructured":"Dongen, B.F.: Efficiently computing alignments - using the extended marking equation. 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"},{"key":"25_CR41","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-030-94343-1_5","volume-title":"Business Process Management Workshops","author":"BF Dongen","year":"2022","unstructured":"Dongen, B.F.: Conformance checking: a systemic view. In: Marrella, A., Weber, B. (eds.) BPM 2021. LNBIP, vol. 436, pp. 61\u201372. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-94343-1_5"}],"container-title":["Lecture Notes in Computer Science","Mining a Scientist's Process"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-17618-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:08:56Z","timestamp":1774868936000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-17618-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032176172","9783032176189"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-17618-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"30 March 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}