{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T16:07:17Z","timestamp":1781626037503,"version":"3.54.5"},"reference-count":71,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T00:00:00Z","timestamp":1766016000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T00:00:00Z","timestamp":1766016000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005366","name":"University of Oslo","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005366","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Process Sci"],"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    Service providers may systematically record and analyze how users interact with a service. User journeys model this interaction from the user\u2019s perspective. We can think of user journeys in terms of\n                    <jats:italic>multi-party event logs<\/jats:italic>\n                    in which events are triggered by two independent parties, the user and the service provider, both controlling their share of actions. Multi-party event logs enable the automated construction of weighted two-player games, which can be used to analyze the user journeys. However, the games constructed for complex user journeys may get large, which makes visual understanding challenging. To reduce the size of these games, we develop an analysis technique for a game\u2019s\n                    <jats:italic>decision boundary<\/jats:italic>\n                    , at which the outcome of the game is determined. Decision boundaries identify subgames that are equivalent to the full game with respect to the final outcome of user journeys. The paper formalizes decision boundaries for user journey games with history refinements, and studies properties of decision boundaries that simplify their analysis. The decision boundary analysis from multi-party event logs has been implemented in a modular tool, which can be connected to existing process mining pipelines, and evaluated on benchmark event logs revealing changes in the user journey and the interaction between users and service provider.\n                  <\/jats:p>","DOI":"10.1007\/s44311-025-00026-4","type":"journal-article","created":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T08:38:39Z","timestamp":1766047119000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Decision boundaries in user journey event logs"],"prefix":"10.1007","volume":"2","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0635-1915","authenticated-orcid":false,"given":"Paul","family":"Kobialka","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5382-3949","authenticated-orcid":false,"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1733-777X","authenticated-orcid":false,"given":"Felix","family":"Mannhardt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9948-2748","authenticated-orcid":false,"given":"S. Lizeth","family":"Tapia Tarifa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,12,18]]},"reference":[{"key":"26_CR1","doi-asserted-by":"publisher","unstructured":"Adams JN, van Zelst SJ, Quack L et\u00a0al (2021) A framework for explainable concept drift detection in process mining. In: International Conference on Business Process Management. Springer, p 400\u2013416. https:\/\/doi.org\/10.1007\/978-3-030-85469-0_25","DOI":"10.1007\/978-3-030-85469-0_25"},{"issue":"1","key":"26_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 et al (2015) Measuring precision of modeled behavior. Inf Syst E-Bus Manage 13(1):37\u201367. https:\/\/doi.org\/10.1007\/s10257-014-0234-7","journal-title":"Inf Syst E-Bus Manage"},{"key":"26_CR3","unstructured":"Attias H (1999) A variational Bayesian framework for graphical models. In: Solla SA, Leen TK, M\u00fcller K (eds) Advances in Neural Information Processing Systems 12, NIPS. The MIT Press, Cambridge, p 209\u2013215"},{"issue":"1","key":"26_CR4","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1609\/icwsm.v3i1.13937","volume":"3","author":"M Bastian","year":"2009","unstructured":"Bastian M, Heymann S, Jacomy M (2009) Gephi: an open source software for exploring and manipulating networks. Proc Int AAAI Conf Web Soc Med 3(1):361\u2013362. https:\/\/doi.org\/10.1609\/icwsm.v3i1.13937","journal-title":"Proc Int AAAI Conf Web Soc Med"},{"key":"26_CR5","unstructured":"Bautista AD, Wangikar L, Akbar SMK (2012) Process mining-driven optimization of a consumer loan approvals process. BPI Challenge.\u00a0https:\/\/ais.win.tue.nl\/bpi\/2012\/bautista.pdf. Accessed 26 Sept 2025"},{"key":"26_CR6","doi-asserted-by":"publisher","unstructured":"Behrmann G, Cougnard A, David A et\u00a0al (2007) UPPAAL-Tiga: Time for playing games! In: Damm W, Hermanns H (eds) Proc. 19th Intl. Conf. on Computer Aided Verification (CAV 2007), Lecture Notes in Computer Science, vol 4590. Springer, p 121\u2013125. https:\/\/doi.org\/10.1007\/978-3-540-73368-3_14","DOI":"10.1007\/978-3-540-73368-3_14"},{"key":"26_CR7","doi-asserted-by":"publisher","unstructured":"Bellodi E, Riguzzi F, Lamma E (2010) Probabilistic declarative process mining. In: International Conference on Knowledge Science, Engineering and Management. Springer, p 292\u2013303. https:\/\/doi.org\/10.1007\/978-3-642-15280-1_28","DOI":"10.1007\/978-3-642-15280-1_28"},{"key":"26_CR8","unstructured":"Berendes CI, Bartelheimer C, Betzing JH et\u00a0al (2018) Data-driven customer journey mapping in local high streets: A domain-specific modeling language. In: Pries-Heje J, Ram S, Rosemann M (eds) Proc. Intl. Conf. on Information Systems - Bridging the Internet of People, Data, and Things (ICIS 2018). Association for Information Systems. https:\/\/aisel.aisnet.org\/icis2018\/modeling\/Presentations\/4.\u00a0Accessed 26 Sept 2025"},{"key":"26_CR9","unstructured":"Bernard G, Andritsos P (2017) A process mining based model for customer journey mapping. In: Franch X, Ralyt\u00e9 J, Matulevicius R et\u00a0al (eds) Proc. Forum and Doctoral Consortium Papers at the 29th Intl. Conf. on Advanced Information Systems Engineering (CAiSE 2017), CEUR Workshop Proceedings, vol 1848. CEUR-WS.org, p 49\u201356. http:\/\/ceur-ws.org\/Vol-1848\/CAiSE2017_Forum_Paper7.pdf.\u00a0Accessed 26 Sept 2025"},{"key":"26_CR10","doi-asserted-by":"publisher","unstructured":"Bernard G, Andritsos P (2018) CJM-ab: Abstracting customer journey maps using process mining. In: Mendling J, Mouratidis H (eds) Information Systems in the Big Data Era - Proc. CAiSE Forum 2018, Lecture Notes in Business Information Processing, vol 317. Springer, p 49\u201356. https:\/\/doi.org\/10.1007\/978-3-319-92901-9_5","DOI":"10.1007\/978-3-319-92901-9_5"},{"key":"26_CR11","doi-asserted-by":"publisher","unstructured":"Bernard G, Andritsos P (2019) Contextual and behavioral customer journey discovery using a genetic approach. In: Welzer T, Eder J, Podgorelec V et\u00a0al (eds) Proc. 23rd European Conference on Advances in Databases and Information Systems (ADBIS 2019), Lecture Notes in Computer Science, vol 11695. Springer, p 251\u2013266. https:\/\/doi.org\/10.1007\/978-3-030-28730-6_16","DOI":"10.1007\/978-3-030-28730-6_16"},{"issue":"3","key":"26_CR12","doi-asserted-by":"publisher","first-page":"66","DOI":"10.2307\/41166446","volume":"50","author":"MJ Bitner","year":"2008","unstructured":"Bitner MJ, Ostrom AL, Morgan FN (2008) Service blueprinting: a practical technique for service innovation. Calif Manag Rev 50(3):66\u201394. https:\/\/doi.org\/10.2307\/41166446","journal-title":"Calif Manag Rev"},{"key":"26_CR13","doi-asserted-by":"publisher","unstructured":"Bose RJC, Mans RS, Van Der\u00a0Aalst WM (2013) Wanna improve process mining results? In: 2013 IEEE symposium on computational intelligence and data mining (CIDM). IEEE, p 127\u2013134. https:\/\/doi.org\/10.1109\/CIDM.2013.6597227","DOI":"10.1109\/CIDM.2013.6597227"},{"key":"26_CR14","doi-asserted-by":"publisher","unstructured":"Bouyer P, Cassez F, Fleury E et\u00a0al (2004) Optimal strategies in priced timed game automata. In: Lodaya K, Mahajan M (eds) Proc. 24th Intl. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2004), Lecture Notes in Computer Science, vol 3328. Springer, p 148\u2013160. https:\/\/doi.org\/10.1007\/978-3-540-30538-5_13","DOI":"10.1007\/978-3-540-30538-5_13"},{"issue":"24","key":"26_CR15","doi-asserted-by":"publisher","DOI":"10.3390\/ijerph182413262","volume":"18","author":"E Cateriano-Ar\u00e9valo","year":"2021","unstructured":"Cateriano-Ar\u00e9valo E, Saavedra-Garcia L, Ponce-Lucero V et al (2021) Applying customer journey mapping in social marketing to understand salt-related behaviors in cooking: a case study. Int J Environ Res Public Health 18(24):13262. https:\/\/doi.org\/10.3390\/ijerph182413262","journal-title":"Int J Environ Res Public Health"},{"key":"26_CR16","doi-asserted-by":"publisher","unstructured":"Chen T, Forejt V, Kwiatkowska M et\u00a0al (2013) PRISM-games: A Model Checker for Stochastic Multi-Player Games. In: Piterman N, Smolka SA (eds) Tools and Algorithms for the Construction and Analysis of Systems. Springer, Lecture Notes in Computer Science, p 185\u2013191. https:\/\/doi.org\/10.1007\/978-3-642-36742-7_13","DOI":"10.1007\/978-3-642-36742-7_13"},{"key":"26_CR17","doi-asserted-by":"publisher","unstructured":"Chesani F, Di\u00a0Francescomarino C, Ghidini C et\u00a0al (2022) Shape your process: Discovering declarative business processes from positive and negative traces taking into account user preferences. In: International Conference on Enterprise Design, Operations, and Computing. Springer, p 217\u2013234. https:\/\/doi.org\/10.1007\/978-3-031-17604-3_13","DOI":"10.1007\/978-3-031-17604-3_13"},{"key":"26_CR18","unstructured":"Clarke EM, Grumberg O, Kroening D et al (2018) Model checking, 2nd edn. MIT Press Cambridge, Massachusetts London. ISBN 9780262038836 \/ ebook, ISBN 9780262349451"},{"issue":"1","key":"26_CR19","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1177\/1524500411435483","volume":"18","author":"A Crosier","year":"2012","unstructured":"Crosier A, Handford A (2012) Customer journey mapping as an advocacy tool for disabled people: a case study. Soc Mark Q 18(1):67\u201376. https:\/\/doi.org\/10.1177\/1524500411435483","journal-title":"Soc Mark Q"},{"key":"26_CR20","doi-asserted-by":"publisher","unstructured":"David A, Jensen PG, Larsen KG et\u00a0al (2015) Uppaal Stratego. In: Baier C, Tinelli C (eds) Proc. 21st Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), Lecture Notes in Computer Science, vol 9035. Springer, pp 206\u2013211. https:\/\/doi.org\/10.1007\/978-3-662-46681-0_16","DOI":"10.1007\/978-3-662-46681-0_16"},{"key":"26_CR21","doi-asserted-by":"publisher","unstructured":"de\u00a0Alfaro L, Henzinger TA, Majumdar R (2001) Symbolic algorithms for infinite-state games. In: Larsen KG, Nielsen M (eds) Proc. 12th International Conference on Concurrency Theory (CONCUR 2001), Lecture Notes in Computer Science, vol 2154. Springer, pp 536\u2013550. https:\/\/doi.org\/10.1007\/3-540-44685-0_36","DOI":"10.1007\/3-540-44685-0_36"},{"key":"26_CR22","doi-asserted-by":"crossref","unstructured":"Di Francescomarino C, Ghidini C (2022) Predictive process monitoring. Process mining handbook. Springer International Publishing, Cham, p 320\u2013346","DOI":"10.1007\/978-3-031-08848-3_10"},{"issue":"6","key":"26_CR23","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1109\/TSC.2016.2645153","volume":"12","author":"C Di Francescomarino","year":"2016","unstructured":"Di Francescomarino C, Dumas M, Maggi FM et al (2016) Clustering-based predictive process monitoring. IEEE Trans Serv Comput 12(6):896\u2013909","journal-title":"IEEE Trans Serv Comput"},{"issue":"2","key":"26_CR24","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1108\/JSTP-11-2014-0261","volume":"28","author":"A F\u00f8lstad","year":"2018","unstructured":"F\u00f8lstad A, Kvale K (2018) Customer journeys: a systematic literature review. J Serv Theory Pract 28(2):196\u2013227. https:\/\/doi.org\/10.1108\/JSTP-11-2014-0261","journal-title":"J Serv Theory Pract"},{"issue":"1","key":"26_CR25","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1509\/jmkg.70.1.003.qxd","volume":"70","author":"C Fornell","year":"2006","unstructured":"Fornell C, Mithas S, Morgeson FV (2006) Customer satisfaction and stock prices: high returns. low risk. J Mark 70(1):3\u201314. https:\/\/doi.org\/10.1509\/jmkg.70.1.003.qxd","journal-title":"J Mark"},{"issue":"9","key":"26_CR26","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1145\/367390.367400","volume":"3","author":"E Fredkin","year":"1960","unstructured":"Fredkin E (1960) Trie memory. Commun ACM 3(9):490\u2013499. https:\/\/doi.org\/10.1145\/367390.367400","journal-title":"Commun ACM"},{"key":"26_CR27","doi-asserted-by":"publisher","unstructured":"Galanti R, Coma-Puig B, de\u00a0Leoni M et\u00a0al (2020) Explainable predictive process monitoring. In: 2020 2nd International Conference on Process Mining (ICPM). IEEE, p 1\u20138. https:\/\/doi.org\/10.1109\/ICPM49681.2020.00012","DOI":"10.1109\/ICPM49681.2020.00012"},{"key":"26_CR28","unstructured":"Gunther CW, Verbeek E (2014) XES - Standard Definition. BPM Reports, BPMcenter.org. https:\/\/www.xes-standard.org\/_media\/xes:xesstandarddefinition-2.0.pdf"},{"key":"26_CR29","doi-asserted-by":"publisher","unstructured":"Halvorsrud R, Haugstveit IM, Pultier A (2016a) Evaluation of a modelling language for customer journeys. In: Blackwell AF, Plimmer B, Stapleton G (eds) Proc. Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2016). IEEE Computer Society, p 40\u201348. https:\/\/doi.org\/10.1109\/VLHCC.2016.7739662","DOI":"10.1109\/VLHCC.2016.7739662"},{"issue":"6","key":"26_CR30","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1108\/JSTP-05-2015-0111","volume":"26","author":"R Halvorsrud","year":"2016","unstructured":"Halvorsrud R, Kvale K, F\u00f8lstad A (2016) Improving service quality through customer journey analysis. J Serv Theory Pract 26(6):840\u2013867. https:\/\/doi.org\/10.1108\/JSTP-05-2015-0111","journal-title":"J Serv Theory Pract"},{"key":"26_CR31","doi-asserted-by":"publisher","unstructured":"Halvorsrud R, Mannhardt F, Johnsen EB et\u00a0al (2021) Smart journey mining for improved service quality. In: Carminati B, Chang CK, Daminai E et\u00a0al (eds) Proc. IEEE International Conference on Services Computing (SCC 2021). IEEE, p 367\u2013369. https:\/\/doi.org\/10.1109\/SCC53864.2021.00051","DOI":"10.1109\/SCC53864.2021.00051"},{"key":"26_CR32","doi-asserted-by":"publisher","unstructured":"Hassani M, Habets S (2021) Predicting next touch point in a customer journey: A use case in telecommunication. In: Proceedings of the 35th International Conference on Modelling and Simulation (ECMS 2021). European Council for Modeling and Simulation, p 48\u201354. https:\/\/doi.org\/10.7148\/2021-0048","DOI":"10.7148\/2021-0048"},{"key":"26_CR33","doi-asserted-by":"publisher","unstructured":"Huth M, Ryan M (2004) Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press. https:\/\/doi.org\/10.1017\/CBO9780511810275","DOI":"10.1017\/CBO9780511810275"},{"key":"26_CR34","doi-asserted-by":"publisher","unstructured":"Kobialka P, Mannhardt F, Tapia Tarifa SL et\u00a0al (2023) Building user journey games from multi-party event logs. In: Montali M, Senderovich A, Weidlich M (eds) Proc. Workshop on Event Data and Behavioral Analytics (EdbA 2022), Lecture Notes in Business Information Processing, vol 468. Springer, p 71\u201383. https:\/\/doi.org\/10.1007\/978-3-031-27815-0_6","DOI":"10.1007\/978-3-031-27815-0_6"},{"key":"26_CR35","doi-asserted-by":"publisher","unstructured":"Kobialka P, Schlatte R, Bergersen GR et\u00a0al (2024a) Simulating user journeys with active objects. In: Active Object Languages: Current Research Trends, Lecture Notes in Computer Science, vol 14360. Springer, p 199\u2013225. https:\/\/doi.org\/10.1007\/978-3-031-51060-1_8","DOI":"10.1007\/978-3-031-51060-1_8"},{"key":"26_CR36","doi-asserted-by":"publisher","unstructured":"Kobialka P, Tapia Tarifa SL, Bergersen GR et\u00a0al (2022) Weighted games for user journeys. In: Proc. 20th International Conference Software Engineering and Formal Methods (SEFM 2022), Lecture Notes in Computer Science, vol 13550. Springer, p 253\u2013270. https:\/\/doi.org\/10.1007\/978-3-031-17108-6_16","DOI":"10.1007\/978-3-031-17108-6_16"},{"issue":"3","key":"26_CR37","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1007\/s10270-024-01148-2","volume":"23","author":"P Kobialka","year":"2024","unstructured":"Kobialka P, Tapia Tarifa SL, Bergersen GR et al (2024) User journey games: automating user-centric analysis. Softw Syst Model 23(3):605\u2013624. https:\/\/doi.org\/10.1007\/s10270-024-01148-2","journal-title":"Softw Syst Model"},{"issue":"3","key":"26_CR38","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s12599-020-00645-0","volume":"63","author":"W Kratsch","year":"2021","unstructured":"Kratsch W, Manderscheid J, R\u00f6glinger M et al (2021) Machine learning in business process monitoring: a comparison of deep learning and classical approaches used for outcome prediction. Bus Inf Syst Eng 63(3):261\u2013276. https:\/\/doi.org\/10.1007\/s12599-020-00645-0","journal-title":"Bus Inf Syst Eng"},{"key":"26_CR39","doi-asserted-by":"publisher","unstructured":"Lamma E, Mello P, Riguzzi F et\u00a0al (2007) Applying inductive logic programming to process mining. In: International Conference on Inductive Logic Programming. Springer, p 132\u2013146. https:\/\/doi.org\/10.1007\/978-3-540-78469-2_16","DOI":"10.1007\/978-3-540-78469-2_16"},{"key":"26_CR40","doi-asserted-by":"publisher","unstructured":"Lammel B, Korkut S, Hinkelmann K (2016) Customer experience modelling and analysis framework a semantic lifting approach for analyzing customer experience. In: Proc. 6th Intl. Conf. on Innovation and Entrepreneurship (IE 2016). GSTF. https:\/\/doi.org\/10.5176\/2251-2039_IE16.10","DOI":"10.5176\/2251-2039_IE16.10"},{"issue":"1\u20132","key":"26_CR41","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen KG, Pettersson P, Yi W (1997) Uppaal in a nutshell. Int J Softw Tools Technol Transf 1(1\u20132):134\u2013152. https:\/\/doi.org\/10.1007\/s100090050010","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"1","key":"26_CR42","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1038\/s42256-019-0138-9","volume":"2","author":"SM Lundberg","year":"2020","unstructured":"Lundberg SM, Erion G, Chen H et al (2020) From local explanations to global understanding with explainable AI for trees. Nat Mach Intell 2(1):56\u201367. https:\/\/doi.org\/10.1038\/s42256-019-0138-9","journal-title":"Nat Mach Intell"},{"key":"26_CR43","doi-asserted-by":"publisher","unstructured":"Munoz-Gama J (2016) Conformance Checking and Diagnosis in Process Mining - Comparing Observed and Modeled Processes, Lecture Notes in Business Information Processing, vol 270. Springer. https:\/\/doi.org\/10.1007\/978-3-319-49451-7","DOI":"10.1007\/978-3-319-49451-7"},{"issue":"4","key":"26_CR44","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580. https:\/\/doi.org\/10.1109\/5.24143","journal-title":"Proc IEEE"},{"issue":"3","key":"26_CR45","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/s11334-022-00449-3","volume":"18","author":"E Mu\u0161kardin","year":"2022","unstructured":"Mu\u0161kardin E, Aichernig BK, Pill I et al (2022) Aalpy: an active automata learning library. Innov Syst Softw Eng 18(3):417\u2013426. https:\/\/doi.org\/10.1007\/s11334-022-00449-3","journal-title":"Innov Syst Softw Eng"},{"key":"26_CR46","doi-asserted-by":"publisher","unstructured":"Nguyen H, Dumas M, Rosa ML et\u00a0al (2014) Mining business process deviance: A quest for accuracy. In: Meersman R, Panetto H, Dillon TS et\u00a0al (eds) On the Move to Meaningful Internet Systems: Proc. Confederated International Conferences CoopIS and ODBASE 2014, Lecture Notes in Computer Science, vol 8841. Springer, p 436\u2013445. https:\/\/doi.org\/10.1007\/978-3-662-45563-0_25","DOI":"10.1007\/978-3-662-45563-0_25"},{"issue":"6","key":"26_CR47","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/BF01185561","volume":"29","author":"M Nielsen","year":"1992","unstructured":"Nielsen M, Rozenberg G, Thiagarajan PS (1992) Elementary transition systems and refinement. Acta Inform 29(6):555\u2013578. https:\/\/doi.org\/10.1007\/BF01185561","journal-title":"Acta Inform"},{"issue":"2","key":"26_CR48","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1177\/1524500417692526","volume":"23","author":"AD Panzera","year":"2017","unstructured":"Panzera AD, Bryant CA, Hawkins F et al (2017) Mapping a WIC mother\u2019s journey: a preliminary analysis. Soc Mark Q 23(2):137\u2013154. https:\/\/doi.org\/10.1177\/1524500417692526","journal-title":"Soc Mark Q"},{"issue":"3","key":"26_CR49","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"JL Peterson","year":"1977","unstructured":"Peterson JL (1977) Petri nets. ACM Comput Surv 9(3):223\u2013252. https:\/\/doi.org\/10.1145\/356698.356702","journal-title":"ACM Comput Surv"},{"key":"26_CR50","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.05.001","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin GD (2004) A structural approach to operational semantics. J Log Algebraic Methods Program 60\u201361:17\u2013139. https:\/\/doi.org\/10.1016\/j.jlap.2004.05.001","journal-title":"J Log Algebraic Methods Program"},{"key":"26_CR51","doi-asserted-by":"publisher","unstructured":"Polyvyanyy A, Moffat A, Garc\u00eda-Ba\u00f1uelos L (2022) Bootstrapping generalization of process models discovered from event data. In: CAiSE, Lecture Notes in Computer Science, vol 13295. Springer, p 36\u201354. https:\/\/doi.org\/10.1007\/978-3-031-07472-1_3","DOI":"10.1007\/978-3-031-07472-1_3"},{"key":"26_CR52","doi-asserted-by":"publisher","unstructured":"Razo-Zapata IS, Chew EK, Proper E (2018) VIVA: A visual language to design value co-creation. In: Proc. 20th Conference on Business Informatics (CBI 2018), vol\u00a001. IEEE, p 20\u201329. https:\/\/doi.org\/10.1109\/CBI.2018.00012","DOI":"10.1109\/CBI.2018.00012"},{"key":"26_CR53","unstructured":"Rodrigues AMB, Almeida CFP, Saraiva DDG et\u00a0al (2017) Stairway to value: Mining a loan application process. https:\/\/www.win.tue.nl\/bpi\/2017\/bpi2017_winner_academic.pdf.\u00a0Accessed 26 Sept 2025"},{"issue":"1","key":"26_CR54","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.bushor.2016.09.010","volume":"60","author":"MS Rosenbaum","year":"2017","unstructured":"Rosenbaum MS, Otalora ML, Ram\u00edrez GC (2017) How to create a realistic customer journey map. Bus Horiz 60(1):143\u2013150. https:\/\/doi.org\/10.1016\/j.bushor.2016.09.010","journal-title":"Bus Horiz"},{"key":"26_CR55","doi-asserted-by":"publisher","unstructured":"Rubin VA, Mitsyuk AA, Lomazova IA et\u00a0al (2014) Process mining can be applied to software too! In: Proceedings of the 8th ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement. p 1\u20138. https:\/\/doi.org\/10.1145\/2652524.2652583","DOI":"10.1145\/2652524.2652583"},{"key":"26_CR56","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2020.106584","volume":"146","author":"S Saraeian","year":"2020","unstructured":"Saraeian S, Shirazi B (2020) Process mining-based anomaly detection of additive manufacturing process activities using a game theory modeling approach. Comput Ind Eng 146:106584. https:\/\/doi.org\/10.1016\/j.cie.2020.106584","journal-title":"Comput Ind Eng"},{"issue":"3","key":"26_CR57","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","volume":"27","author":"CE Shannon","year":"1948","unstructured":"Shannon CE (1948) A mathematical theory of communication. Bell Syst Tech J 27(3):379\u2013423. https:\/\/doi.org\/10.1002\/j.1538-7305.1948.tb01338.x","journal-title":"Bell Syst Tech J"},{"key":"26_CR58","doi-asserted-by":"publisher","unstructured":"Slaats T, Debois S, Back CO (2021) Weighing the pros and cons: Process discovery with negative examples. In: International Conference on Business Process Management. Springer, p 47\u201364. https:\/\/doi.org\/10.1007\/978-3-030-85469-0_6","DOI":"10.1007\/978-3-030-85469-0_6"},{"issue":"2","key":"26_CR59","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3301300","volume":"13","author":"I Teinemaa","year":"2019","unstructured":"Teinemaa I, Dumas M, Rosa ML et al (2019) Outcome-oriented predictive process monitoring: review and benchmark. ACM Trans Knowl Discov Data 13(2):1\u201357. https:\/\/doi.org\/10.1145\/3301300","journal-title":"ACM Trans Knowl Discov Data"},{"key":"26_CR60","doi-asserted-by":"publisher","unstructured":"Terragni A, Hassani M (2018) Analyzing customer journey with process mining: From discovery to recommendations. In: Proc. 6th International Conference on Future Internet of Things and Cloud (FiCloud 2018). IEEE, p 224\u2013229. https:\/\/doi.org\/10.1109\/FiCloud.2018.00040","DOI":"10.1109\/FiCloud.2018.00040"},{"key":"26_CR61","doi-asserted-by":"publisher","unstructured":"Terragni A, Hassani M (2019) Optimizing customer journey using process mining and sequence-aware recommendation. In: Proc. 34th Symposium on Applied Computing (SAC 2019). ACM Press, p 57\u201365. https:\/\/doi.org\/10.1145\/3297280.3297288","DOI":"10.1145\/3297280.3297288"},{"key":"26_CR62","doi-asserted-by":"publisher","unstructured":"Thomas W (1995) On the synthesis of strategies in infinite games. In: Mayr EW, Puech C (eds) Proc. 12th Annual Symposium on Theoretical Aspects of Computer Science (STACS\u201995), Lecture Notes in Computer Science, vol 900. Springer, p 1\u201313. https:\/\/doi.org\/10.1007\/3-540-59042-0_57","DOI":"10.1007\/3-540-59042-0_57"},{"issue":"7","key":"26_CR63","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1016\/j.jlap.2010.07.010","volume":"79","author":"C Thrane","year":"2010","unstructured":"Thrane C, Fahrenberg U, Larsen KG (2010) Quantitative analysis of weighted transition systems. J Logic Algebraic Program 79(7):689\u2013703. https:\/\/doi.org\/10.1016\/j.jlap.2010.07.010","journal-title":"J Logic Algebraic Program"},{"key":"26_CR64","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1016\/j.jbusres.2020.12.028","volume":"125","author":"Y Tueanrat","year":"2021","unstructured":"Tueanrat Y, Papagiannidis S, Alamanos E (2021) Going on a journey: a review of the customer journey literature. J Bus Res 125:336\u2013353. https:\/\/doi.org\/10.1016\/j.jbusres.2020.12.028","journal-title":"J Bus Res"},{"key":"26_CR65","doi-asserted-by":"publisher","unstructured":"van\u00a0der Aalst WMP (2011) On the representational bias in process mining. In: Reddy S, Tata S (eds) Proc. 20th Intl. Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2011). IEEE Computer Society, p 2\u20137. https:\/\/doi.org\/10.1109\/WETICE.2011.64","DOI":"10.1109\/WETICE.2011.64"},{"key":"26_CR66","doi-asserted-by":"publisher","unstructured":"van\u00a0der Aalst WMP (2016) Process Mining - Data Science in Action, 2nd edn. Springer, https:\/\/doi.org\/10.1007\/978-3-662-49851-4","DOI":"10.1007\/978-3-662-49851-4"},{"issue":"1","key":"26_CR67","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s10270-008-0106-z","volume":"9","author":"WMP van der Aalst","year":"2010","unstructured":"van der Aalst WMP, Rubin V, Verbeek E et al (2010) Process mining: a two-step approach to balance between underfitting and overfitting. Softw Syst Model 9(1):87\u2013111. https:\/\/doi.org\/10.1007\/s10270-008-0106-z","journal-title":"Softw Syst Model"},{"issue":"4","key":"26_CR68","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1016\/0263-2373(88)90033-3","volume":"6","author":"S Vandermerwe","year":"1988","unstructured":"Vandermerwe S, Rada J (1988) Servitization of business: adding value by adding services. Eur Manag J 6(4):314\u2013324. https:\/\/doi.org\/10.1016\/0263-2373(88)90033-3","journal-title":"Eur Manag J"},{"key":"26_CR69","doi-asserted-by":"publisher","unstructured":"van Dongen B (2012) BPI Challenge 2012. https:\/\/doi.org\/10.4121\/uuid:3926db30-f712-4394-aebc-75976070e91f","DOI":"10.4121\/uuid:3926db30-f712-4394-aebc-75976070e91f"},{"key":"26_CR70","doi-asserted-by":"publisher","unstructured":"van Dongen B (2017) BPI Challenge 2017. https:\/\/doi.org\/10.4121\/uuid:5f3067df-f10b-45da-b98b-86ae4c7a310b","DOI":"10.4121\/uuid:5f3067df-f10b-45da-b98b-86ae4c7a310b"},{"key":"26_CR71","doi-asserted-by":"publisher","unstructured":"Verwer S, Hammerschmidt CA (2017) Flexfringe: a passive automaton learning package. In: 2017 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, p 638\u2013642. https:\/\/doi.org\/10.1109\/ICSME.2017.58","DOI":"10.1109\/ICSME.2017.58"}],"container-title":["Process Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s44311-025-00026-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s44311-025-00026-4","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s44311-025-00026-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T15:21:31Z","timestamp":1781623291000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s44311-025-00026-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,18]]},"references-count":71,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,12]]}},"alternative-id":["26"],"URL":"https:\/\/doi.org\/10.1007\/s44311-025-00026-4","relation":{},"ISSN":["2948-2178"],"issn-type":[{"value":"2948-2178","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,18]]},"assertion":[{"value":"13 October 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 September 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 December 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval and consent to participate"}},{"value":"The authors declare no competing interests.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"27"}}