{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T12:16:37Z","timestamp":1774872997739,"version":"3.50.1"},"publisher-location":"Cham","reference-count":60,"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_23","type":"book-chapter","created":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:07:55Z","timestamp":1774868875000},"page":"315-332","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Brief Overview of Process Trees"],"prefix":"10.1007","author":[{"given":"Sander J. J.","family":"Leemans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastiaan J.","family":"van Zelst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xixi","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,3,30]]},"reference":[{"key":"23_CR1","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 Aalst","year":"2000","unstructured":"Aalst, W.M.P.: Workflow verification: finding control-flow errors using petri-net-based techniques. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161\u2013183. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45594-9_11"},{"issue":"3","key":"23_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.infsof.2006.11.004","volume":"50","author":"WMP van der Aalst","year":"2008","unstructured":"van der Aalst, W.M.P., Lassen, K.B.: Translating unstructured workflow processes to readable BPEL: theory and implementation. Inf. Softw. Technol. 50(3), 131\u2013159 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"23_CR3","doi-asserted-by":"publisher","unstructured":"B\u00e4r, P., Wynn, M.T., Leemans, S.J.J.: A full picture in conformance checking: efficiently summarizing all optimal alignments. In: Senderovich, A., Cabanillas, C., Vanderfeesten, I., A. Reijers, H. (eds.) BPM. LNCS, vol. 16044, pp. 69\u201387. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-032-02867-9_6","DOI":"10.1007\/978-3-032-02867-9_6"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Brons, D., Scheepens, R., Fahland, D.: Striking a new balance in accuracy and simplicity with the probabilistic inductive miner. In: ICPM, pp. 32\u201339. IEEE (2021)","DOI":"10.1109\/ICPM53251.2021.9576864"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: A genetic algorithm for discovering process trees. In: IEEE Congress on Evolutionary Computation, pp.\u00a01\u20138. IEEE (2012)","DOI":"10.1109\/CEC.2012.6256458"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-33606-5_19","volume-title":"On the Move to Meaningful Internet Systems: OTM 2012","author":"JCAM Buijs","year":"2012","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: On the role of fitness, precision, generalization and simplicity in process discovery. In: Meersman, R., Panetto, H., Dillon, T., Rinderle-Ma, S., Dadam, P., Zhou, X., Pearson, S., Ferscha, A., Bergamaschi, S., Cruz, I.F. (eds.) OTM 2012. LNCS, vol. 7565, pp. 305\u2013322. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33606-5_19"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-40176-3_5","volume-title":"Business Process Management","author":"JCAM Buijs","year":"2013","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: Mining configurable process models from collections of event logs. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 33\u201348. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40176-3_5"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-030-76983-3_16","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"A Burke","year":"2021","unstructured":"Burke, A., Leemans, S.J.J., Wynn, M.T.: Discovering stochastic process models by reduction and abstraction. In: Buchs, D., Carmona, J. (eds.) PETRI NETS 2021. LNCS, vol. 12734, pp. 312\u2013336. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-76983-3_16"},{"key":"23_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2024.102382","volume":"124","author":"AT Burke","year":"2024","unstructured":"Burke, A.T., Leemans, S.J.J., Wynn, M.T., van der Aalst, W.M.P., ter Hofstede, A.H.M.: A chance for models to show their quality: stochastic process model-log dimensions. Inf. Syst. 124, 102382 (2024)","journal-title":"Inf. Syst."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"van Detten, J.N., Schumacher, P., Leemans, S.J.J.: An approximate inductive miner. In: ICPM, pp. 129\u2013136. IEEE (2023)","DOI":"10.1109\/ICPM60904.2023.10271971"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"van Detten, J.N., Schumacher, P., Leemans, S.J.J.: Discovering compact, live and identifier-sound object-centric process models. In: ICPM, pp. 113\u2013120. IEEE (2024)","DOI":"10.1109\/ICPM63005.2024.10680659"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-319-19069-3_19","volume-title":"Advanced Information Systems Engineering","author":"ML van Eck","year":"2015","unstructured":"van Eck, M.L., Lu, X., Leemans, S.J.J., van der Aalst, W.M.P.: PM$$^2$$: a process mining project methodology. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 297\u2013313. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19069-3_19"},{"issue":"1","key":"23_CR13","first-page":"3","volume":"4","author":"O Kopp","year":"2009","unstructured":"Kopp, O., Martin, D., Wutke, D., Leymann, F.: The difference between graph-based and block-structured business process modelling languages. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 4(1), 3\u201313 (2009)","journal-title":"Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model."},{"key":"23_CR14","doi-asserted-by":"publisher","unstructured":"Kourani, H., Park, G., van\u00a0der Aalst, W.M.P.: Translating workflow nets into the partially ordered workflow language. In: Amparore, E., Mikulski, \u0141. (eds.) Petri Nets. LNCS, vol. 15714, pp. 242\u2013264. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-94634-9_12","DOI":"10.1007\/978-3-031-94634-9_12"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Kourani, H., Park, G., van\u00a0der Aalst, W.M.P.: Unlocking non-block-structured decisions: inductive mining with choice graphs. CoRR abs\/2505.07052 (2025)","DOI":"10.1007\/978-3-032-02867-9_10"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Kourani, H., Schuster, D., van\u00a0der Aalst, W.M.P.: Scalable discovery of partially ordered workflow models with formal guarantees. In: ICPM, pp. 89\u201396. IEEE (2023)","DOI":"10.1109\/ICPM60904.2023.10271941"},{"key":"23_CR17","doi-asserted-by":"publisher","unstructured":"Kourani, H., van Zelst, S.J.: POWL: partially ordered workflow language. In: Di Francescomarino, C., Burattin, A., Janiesch, C., Sadiq, S. (eds.) BPM. LNCS, vol. 14159, pp. 92\u2013108. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-41620-0_6","DOI":"10.1007\/978-3-031-41620-0_6"},{"key":"23_CR18","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2024.102493","volume":"128","author":"H Kourani","year":"2025","unstructured":"Kourani, H., van Zelst, S.J., Schuster, D., van der Aalst, W.M.P.: Discovering partially ordered workflow models. Inf. Syst. 128, 102493 (2025)","journal-title":"Inf. Syst."},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-319-69462-7_8","volume-title":"On the Move to Meaningful Internet Systems. OTM 2017 Conferences","author":"M Leemans","year":"2017","unstructured":"Leemans, M., van der Aalst, W.M.P.: Modeling and discovering cancelation behavior. In: Panetto, H., Debruyne, C., Gaaloul, W., Papazoglou, M., Paschke, A., Ardagna, C.A., Meersman, R. (eds.) OTM 2017. LNCS, vol. 10573, pp. 93\u2013113. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69462-7_8"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Leemans, M., van\u00a0der Aalst, W.M.P., van\u00a0den Brand, M.G.J.: Recursion aware modeling and discovery for hierarchical software event log analysis. In: SANER, pp. 185\u2013196. IEEE Computer Society (2018)","DOI":"10.1109\/SANER.2018.8330208"},{"key":"23_CR21","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1007\/978-3-319-15895-2_52","volume-title":"Business Process Management Workshops","author":"SJJ Leemans","year":"2015","unstructured":"Leemans, S.J.J.: Process discovery and exploration. In: Fournier, F., Mendling, J. (eds.) BPM 2014. LNBIP, vol. 202, pp. 582\u2013585. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15895-2_52"},{"key":"23_CR22","unstructured":"Leemans, S.J.J.: Language-preserving reduction rules for block-structured workflow nets. CoRR abs\/2203.10410 (2022)"},{"key":"23_CR23","doi-asserted-by":"publisher","unstructured":"Leemans, S.J.J.: Robust process mining with guarantees - process discovery, conformance checking and enhancement. In: LNBIP, vol.\u00a0440. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-96655-3","DOI":"10.1007\/978-3-030-96655-3"},{"issue":"3","key":"23_CR24","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1007\/s10115-019-01376-9","volume":"62","author":"SJJ Leemans","year":"2020","unstructured":"Leemans, S.J.J., Fahland, D.: Information-preserving abstractions of event data in process mining. Knowl. Inf. Syst. 62(3), 1143\u20131197 (2020)","journal-title":"Knowl. Inf. Syst."},{"key":"23_CR25","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":"23_CR26","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":"23_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-319-07734-5_6","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"SJJ Leemans","year":"2014","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from incomplete event logs. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 91\u2013110. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07734-5_6"},{"key":"23_CR28","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-319-15895-2_26","volume-title":"Business Process Management Workshops","author":"SJJ Leemans","year":"2015","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Exploring processes and deviations. In: Fournier, F., Mendling, J. (eds.) BPM 2014. LNBIP, vol. 202, pp. 304\u2013316. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15895-2_26"},{"key":"23_CR29","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-319-19237-6_6","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"SJJ Leemans","year":"2015","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Scalable process discovery with guarantees. In: Gaaloul, K., Schmidt, R., Nurcan, S., Guerreiro, S., Ma, Q. (eds.) CAISE 2015. LNBIP, vol. 214, pp. 85\u2013101. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19237-6_6"},{"key":"23_CR30","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-319-42887-1_17","volume-title":"Business Process Management Workshops","author":"SJJ Leemans","year":"2016","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Using life cycle information in process discovery. In: Reichert, M., Reijers, H.A. (eds.) BPM 2015. LNBIP, vol. 256, pp. 204\u2013217. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42887-1_17"},{"issue":"2","key":"23_CR31","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. Model. 17(2), 599\u2013631 (2018)","journal-title":"Softw. Syst. Model."},{"key":"23_CR32","doi-asserted-by":"crossref","unstructured":"Leemans, S.J.J., Goel, K., van Zelst, S.J.: Using multi-level information in hierarchical process mining: Balancing behavioural quality and model complexity. In: ICPM, pp. 137\u2013144. IEEE (2020)","DOI":"10.1109\/ICPM49681.2020.00029"},{"key":"23_CR33","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2022.102473","volume":"135","author":"SJJ Leemans","year":"2023","unstructured":"Leemans, S.J.J., Partington, A., Karnon, J., Wynn, M.T.: Process mining for healthcare decision analytics with micro-costing estimations. Artif. Intell. Medicine 135, 102473 (2023)","journal-title":"Artif. Intell. Medicine"},{"key":"23_CR34","doi-asserted-by":"publisher","unstructured":"Leemans, S.J.J., Tax, N.: Causal reasoning over control-flow decisions in process models. In: Franch, X., Poels, G., Gailly, F., Snoeck, M. (eds.) Advanced Information Systems Engineering. CAiSE 2022. LNCS, vol. 13295, pp. 183\u2013200. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-07472-1_11","DOI":"10.1007\/978-3-031-07472-1_11"},{"key":"23_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-030-02610-3_6","volume-title":"On the Move to Meaningful Internet Systems. OTM 2018 Conferences","author":"SJJ Leemans","year":"2018","unstructured":"Leemans, S.J.J., Tax, N., ter Hofstede, A.H.M.: Indulpet miner: combining discovery algorithms. In: Panetto, H., Debruyne, C., Proper, H.A., Ardagna, C.A., Roman, D., Meersman, R. (eds.) OTM 2018. LNCS, vol. 11229, pp. 97\u2013115. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02610-3_6"},{"key":"23_CR36","doi-asserted-by":"crossref","unstructured":"Lu, X., Fahland, D., van\u00a0den Biggelaar, F.J.H.M., van\u00a0der Aalst, W.M.P.: Detecting deviating behaviors without models. In: Business Process Management Workshops. LNBIP, vol.\u00a0256, pp. 126\u2013139. Springer, Cham (2015)","DOI":"10.1007\/978-3-319-42887-1_11"},{"key":"23_CR37","doi-asserted-by":"crossref","unstructured":"Lu, X., Gal, A., Reijers, H.A.: Discovering hierarchical processes using flexible activity trees for event abstraction. In: ICPM, pp. 145\u2013152. IEEE (2020)","DOI":"10.1109\/ICPM49681.2020.00030"},{"key":"23_CR38","doi-asserted-by":"crossref","unstructured":"Ostovar, A., Leemans, S.J.J., Rosa, M.L.: Robust drift characterization from event streams of business processes. ACM Trans. Knowl. Discov. Data 14(3), 30:1\u201330:57 (2020)","DOI":"10.1145\/3375398"},{"key":"23_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-19589-1_2","volume-title":"Web Services and Formal Methods","author":"A Polyvyanyy","year":"2011","unstructured":"Polyvyanyy, A., Vanhatalo, J., V\u00f6lzer, H.: Simplified computation and generalization of the refined process structure tree. In: Bravetti, M., Bultan, T. (eds.) WS-FM 2010. LNCS, vol. 6551, pp. 25\u201341. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19589-1_2"},{"key":"23_CR40","doi-asserted-by":"publisher","unstructured":"Pourbafrani, M., van\u00a0der Aalst, W.M.P.: Interactive process improvement using simulation of enriched process trees. In: Hacid, H., et al. ICSOC Workshops. LNCS, vol. 13236, pp. 61\u201376. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-031-14135-5_5","DOI":"10.1007\/978-3-031-14135-5_5"},{"key":"23_CR41","doi-asserted-by":"publisher","unstructured":"Rocha, E.G., van\u00a0der Aalst, W.M.P.: Polynomial-time conformance checking for process trees. In: Di Francescomarino, C., Burattin, A., Janiesch, C., Sadiq, S. (eds.) BPM. LNCS, vol. 14159, pp. 109\u2013125. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-41620-0_7","DOI":"10.1007\/978-3-031-41620-0_7"},{"key":"23_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-45348-4_11","volume-title":"Business Process Management","author":"A Rogge-Solti","year":"2016","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"},{"key":"23_CR43","doi-asserted-by":"crossref","unstructured":"Schr\u00f6der, C., van Detten, J.N., Leemans, S.J.J.: Locally optimized process tree discovery. In: ICPM Workshops. LNBIP, vol.\u00a0533, pp. 389\u2013401. Springer (2024)","DOI":"10.1007\/978-3-031-82225-4_29"},{"key":"23_CR44","doi-asserted-by":"publisher","unstructured":"Schuster, D., F\u00f6cking, N., van Zelst, S.J., van\u00a0der Aalst, W.M.P.: Conformance checking for trace fragments using infix and postfix alignments. In: Sellami, M., Ceravolo, P., Reijers, H.A., Gaaloul, W., Panetto, H. (eds.) CoopIS. LNCS, vol. 13591, pp. 299\u2013310. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-17834-4_18","DOI":"10.1007\/978-3-031-17834-4_18"},{"key":"23_CR45","doi-asserted-by":"publisher","unstructured":"Schuster, D., F\u00f6cking, N., van Zelst, S.J., van\u00a0der Aalst, W.M.P.: Incremental discovery of process models using trace fragments. In: Di Francescomarino, C., Burattin, A., Janiesch, C., Sadiq, S. (eds.) BPM. LNCS, vol. 14159, pp. 55\u201373. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-41620-0_4","DOI":"10.1007\/978-3-031-41620-0_4"},{"key":"23_CR46","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-030-72693-5_19","volume-title":"Process Mining Workshops","author":"D Schuster","year":"2021","unstructured":"Schuster, D., van Zelst, S., van der Aalst, W.M.P.: Alignment approximation for process trees. In: Leemans, S., Leopold, H. (eds.) ICPM 2020. LNBIP, vol. 406, pp. 247\u2013259. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-72693-5_19"},{"key":"23_CR47","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-030-50316-1_25","volume-title":"Research Challenges in Information Science","author":"D Schuster","year":"2020","unstructured":"Schuster, D., van Zelst, S.J., van der Aalst, W.M.P.: Incremental discovery of hierarchical process models. In: Dalpiaz, F., Zdravkovic, J., Loucopoulos, P. (eds.) RCIS 2020. LNBIP, vol. 385, pp. 417\u2013433. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-50316-1_25"},{"key":"23_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-030-89022-3_2","volume-title":"Conceptual Modeling","author":"D Schuster","year":"2021","unstructured":"Schuster, D., van Zelst, S.J., van der Aalst, W.M.P.: Freezing sub-models during incremental process discovery. In: Ghose, A., Horkoff, J., Silva Souza, V.E., Parsons, J., Evermann, J. (eds.) ER 2021. LNCS, vol. 13011, pp. 14\u201324. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89022-3_2"},{"key":"23_CR49","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2023.101373","volume":"22","author":"D Schuster","year":"2023","unstructured":"Schuster, D., van Zelst, S.J., van der Aalst, W.M.P.: Cortado: a dedicated process mining tool for interactive process discovery. SoftwareX 22, 101373 (2023)","journal-title":"SoftwareX"},{"key":"23_CR50","doi-asserted-by":"publisher","unstructured":"Schwanen, C.T., Pakusa, W., van\u00a0der Aalst, W.M.P.: A dynamic programming approach for alignments on process trees. In: Delgado, A., Slaats, T. (eds.) ICPM Workshops. LNBIP, vol.\u00a0533, pp. 84\u201397. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-82225-4_7","DOI":"10.1007\/978-3-031-82225-4_7"},{"key":"23_CR51","doi-asserted-by":"publisher","unstructured":"Schwanen, C.T., Pakusa, W., van\u00a0der Aalst, W.M.P.: Process tree alignments. In: Borbinha, J., Prince Sales, T., Da Silva, M.M., Proper, H.A., Schnellmann, M. (eds.) EDOC. LNCS, vol. 15409, pp. 300\u2013317. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-78338-8_16","DOI":"10.1007\/978-3-031-78338-8_16"},{"key":"23_CR52","doi-asserted-by":"publisher","unstructured":"Schwanen, C.T., Pakusa, W., van\u00a0der Aalst, W.M.P.: Complexity of alignments on sound free-choice workflow nets. In: Amparore, E., Mikulski, \u0141. (eds.) Petri Nets. LNCS, vol. 15714, pp. 388\u2013410. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-94634-9_19","DOI":"10.1007\/978-3-031-94634-9_19"},{"key":"23_CR53","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-319-42887-1_13","volume-title":"Business Process Management Workshops","author":"A Senderovich","year":"2016","unstructured":"Senderovich, A., Leemans, S.J.J., Harel, S., Gal, A., Mandelbaum, A., van der Aalst, W.M.P.: Discovering queues from event logs with varying levels of information. In: Reichert, M., Reijers, H.A. (eds.) BPM 2015. LNBIP, vol. 256, pp. 154\u2013166. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42887-1_13"},{"issue":"1","key":"23_CR54","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MIS.2003.1179197","volume":"18","author":"S Staab","year":"2003","unstructured":"Staab, S., van der Aalst, W.M.P., Benjamins, V.R., Sheth, A.P., Miller, J.A., Bussler, C., Maedche, A., Fensel, D., Gannon, D.: Web services: been there, done that? IEEE Intell. Syst. 18(1), 72\u201385 (2003)","journal-title":"IEEE Intell. Syst."},{"key":"23_CR55","doi-asserted-by":"crossref","unstructured":"Syamsiyah, A., Leemans, S.J.J.: Process discovery using in-database minimum self distance abstractions. In: SAC, pp. 26\u201335. ACM (2020)","DOI":"10.1145\/3341105.3373846"},{"issue":"2","key":"23_CR56","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/j.jides.2016.11.001","volume":"3","author":"N Tax","year":"2016","unstructured":"Tax, N., Sidorova, N., Haakma, R., van der Aalst, W.M.P.: Mining local process models. J. Innov. Digit. Ecosyst. 3(2), 183\u2013196 (2016)","journal-title":"J. Innov. Digit. Ecosyst."},{"issue":"3","key":"23_CR57","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/0022-0000(84)90018-7","volume":"28","author":"MK Warmuth","year":"1984","unstructured":"Warmuth, M.K., Haussler, D.: On the complexity of iterated shuffle. J. Comput. Syst. Sci. 28(3), 345\u2013358 (1984)","journal-title":"J. Comput. Syst. Sci."},{"issue":"4","key":"23_CR58","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s12599-019-00601-7","volume":"62","author":"SJ van Zelst","year":"2020","unstructured":"van Zelst, S.J., Buijs, J.C.A.M., V\u00e1zquez-Barreiros, B., Lama, M., Mucientes, M.: Repairing alignments of process models. Bus. Inf. Syst. Eng. 62(4), 289\u2013304 (2020)","journal-title":"Bus. Inf. Syst. Eng."},{"issue":"11","key":"23_CR59","doi-asserted-by":"publisher","first-page":"279","DOI":"10.3390\/a13110279","volume":"13","author":"SJ van Zelst","year":"2020","unstructured":"van Zelst, S.J., Leemans, S.J.J.: Translating workflow nets to process trees: an algorithmic approach. Algorithms 13(11), 279 (2020)","journal-title":"Algorithms"},{"key":"23_CR60","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-030-79108-7_9","volume-title":"Intelligent Information Systems","author":"SJ van Zelst","year":"2021","unstructured":"van Zelst, S.J., Santos, L.F.R., van der Aalst, W.M.P.: Data-driven process performance measurement and prediction: a process-tree-based approach. In: Nurcan, S., Korthaus, A. (eds.) CAiSE 2021. LNBIP, vol. 424, pp. 73\u201381. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79108-7_9"}],"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_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:07:57Z","timestamp":1774868877000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-17618-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032176172","9783032176189"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-17618-9_23","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"}}]}}