{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T11:34:39Z","timestamp":1762342479871,"version":"build-2065373602"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,3,7]],"date-time":"2025-03-07T00:00:00Z","timestamp":1741305600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,3,7]],"date-time":"2025-03-07T00:00:00Z","timestamp":1741305600000},"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":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1007\/s13218-024-00879-0","type":"journal-article","created":{"date-parts":[[2025,3,7]],"date-time":"2025-03-07T03:34:29Z","timestamp":1741318469000},"page":"239-258","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Alignment-based conformance checking for stochastic Petri nets"],"prefix":"10.1007","volume":"39","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5421-8270","authenticated-orcid":false,"given":"Matheus Pereira","family":"de Almeida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karina Valdivia","family":"Delgado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarajane Marques","family":"Peres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Fantinato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,7]]},"reference":[{"key":"879_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process mining: data science in action","author":"WMP Aalst","year":"2016","unstructured":"Aalst WMP (2016) Process mining: data science in action, 2nd edn. Springer, Heidelberg","edition":"2"},{"key":"879_CR2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-031-33620-1_5","volume-title":"Application and theory of petri nets and concurrency","author":"F Mannhardt","year":"2023","unstructured":"Mannhardt F, Leemans SJJ, Schwanen CT, Leoni M (2023) Modelling data-aware stochastic processes - discovery and conformance checking. In: Gomes L, Lorenz R (eds) Application and theory of petri nets and concurrency. Springer, Cham, pp 77\u201398"},{"key":"879_CR3","doi-asserted-by":"crossref","unstructured":"Burke A, Leemans SJJ, Wynn MT (2021) Stochastic process discovery by weight estimation. In: Process Mining Workshops, pp. 260\u2013272. Springer, Cham","DOI":"10.1007\/978-3-030-72693-5_20"},{"key":"879_CR4","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-319-06257-0_2","volume-title":"Business process management workshops","author":"A Rogge-Solti","year":"2014","unstructured":"Rogge-Solti A, Aalst WMP, Weske M (2014) Discovering stochastic Petri nets with arbitrary delay distributions from event logs. In: Lohmann N, Song M, Wohed P (eds) Business process management workshops. Springer, Cham, pp 15\u201327"},{"key":"879_CR5","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-030-26643-1_8","volume-title":"Business process management forum","author":"SJJ Leemans","year":"2019","unstructured":"Leemans SJJ, Syring AF, Aalst WMP (2019) Earth movers\u2019 stochastic conformance checking. In: Hildebrandt T, Dongen BF, R\u00f6glinger M, Mendling J (eds) Business process management forum. Springer, Cham, pp 127\u2013143"},{"key":"879_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2021.101724","volume":"102","author":"SJJ Leemans","year":"2021","unstructured":"Leemans SJJ, van der Aalst WMP, Brockhoff T, Polyvyanyy A (2021) Stochastic process mining: earth movers\u2019 stochastic conformance. Inf Syst 102:101724","journal-title":"Inf Syst"},{"key":"879_CR7","doi-asserted-by":"crossref","unstructured":"Bergami G, Maggi FM, Montali M, Pe\u00f1aloza R (2021) Probabilistic trace alignment. In: 2021 3rd international conference on process mining (ICPM), pp. 9\u201316","DOI":"10.1109\/ICPM53251.2021.9576856"},{"key":"879_CR8","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/978-3-031-16103-2_22","volume-title":"Business process management","author":"SJJ Leemans","year":"2022","unstructured":"Leemans SJJ, Maggi FM, Montali M (2022) Reasoning on labelled Petri nets and their dynamics in a stochastic setting. In: Di Ciccio C, Dijkman R, R\u00edo Ortega A, Rinderle-Ma S (eds) Business process management. Springer, Cham, pp 324\u2013342"},{"key":"879_CR9","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-319-27243-6_3","volume-title":"Data-driven process discovery and analysis","author":"M Alizadeh","year":"2015","unstructured":"Alizadeh M, Leoni M, Zannone N (2015) History-based construction of alignments for conformance checking: formalization and implementation. In: Ceravolo P, Russo B, Accorsi R (eds) Data-driven process discovery and analysis. Springer, Cham, pp 58\u201378"},{"key":"879_CR10","doi-asserted-by":"crossref","unstructured":"Aalst W (2020) In: Reinkemeyer, L. (ed.) Academic view: development of the process mining discipline, pp. 181\u2013196. Springer, Cham","DOI":"10.1007\/978-3-030-40172-6_21"},{"key":"879_CR11","unstructured":"Bertsekas D (1995) Dynamic programming and optimal control. Athena Scientific, Belmont, Mass"},{"key":"879_CR12","unstructured":"Younes HLS, Littman ML (2004) PPDDL 1 . 0 : An extension to PDDL for expressing planning domains with probabilistic effects"},{"key":"879_CR13","unstructured":"Adriansyah A (2014) Aligning observed and modeled behavior. PhD thesis, Technical University Eindhoven"},{"key":"879_CR14","first-page":"33","volume":"38","author":"F Bezerra","year":"2013","unstructured":"Bezerra F, Wainer J (2013) Algorithms for anomaly detection of traces in logs of process aware information systems. J Data Semantics 38:33\u201344","journal-title":"J Data Semantics"},{"issue":"2","key":"879_CR15","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/288197.581193","volume":"26","author":"MA Marsan","year":"1998","unstructured":"Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G (1998) Modelling with generalized stochastic petri nets. ACM Sigmetrics Perform Eval Rev 26(2):2","journal-title":"ACM Sigmetrics Perform Eval Rev"},{"key":"879_CR16","doi-asserted-by":"crossref","unstructured":"Koorneef M, Solti A, Leopold H, Reijers HA (2018) Automatic root cause identification using most probable alignments. 13th international workshop on business process intelligence, 204\u2013215","DOI":"10.1007\/978-3-319-74030-0_15"},{"key":"879_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst","year":"1998","unstructured":"Aalst WMP (1998) The application of petri nets to workflow management. J Circuits Syst Comput 8:21\u201366","journal-title":"J Circuits Syst Comput"},{"key":"879_CR18","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.eswa.2017.03.047","volume":"82","author":"M Leoni","year":"2017","unstructured":"Leoni M, Marrella A (2017) Aligning real process executions and prescriptive process models through automated planning. Expert Syst Appl 82:162\u2013183","journal-title":"Expert Syst Appl"},{"key":"879_CR19","unstructured":"Lanciano G (2018) Alignment-based conformance checking of partially-ordered traces and process models using automated planning. PhD thesis"},{"issue":"1","key":"879_CR20","first-page":"321","volume":"28","author":"M De Leoni","year":"2018","unstructured":"De Leoni M, Lanciano G, Marrella A (2018) Aligning partially-ordered process-execution traces and models using automated planning. Int Conf Autom Plann Sched 28(1):321\u2013329","journal-title":"Int Conf Autom Plann Sched"},{"issue":"4","key":"879_CR21","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s00607-015-0441-1","volume":"98","author":"F Mannhardt","year":"2016","unstructured":"Mannhardt F, Leoni HRM, Aalst WVD (2016) Balanced multi-perspective checking of process conformance. Computing 98(4):407\u2013437","journal-title":"Computing"},{"key":"879_CR22","doi-asserted-by":"crossref","unstructured":"Adriansyah A, Sidorova N, Dongen BF (2011) Cost-based fitness in conformance checking. In: International conference on on application of concurrency to system design, pp 57\u201366","DOI":"10.1109\/ACSD.2011.19"},{"key":"879_CR23","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov decision processes: discrete stochastic dynamic programming","author":"M Puterman","year":"1994","unstructured":"Puterman M (1994) Markov decision processes: discrete stochastic dynamic programming. Wiley, New York"},{"key":"879_CR24","first-page":"707","volume":"10","author":"VI Levenshtein","year":"1966","unstructured":"Levenshtein VI (1966) Binary codes capable of correcting deletions, insertions, and reversals. Soviet Phys Doklady 10:707\u2013710","journal-title":"Soviet Phys Doklady"},{"key":"879_CR25","doi-asserted-by":"crossref","unstructured":"M.\u00a0Leoni LG, Marrella A (2017) A tool for aligning event logs and prescriptive process models through automated planning. In: BPM (Demos)","DOI":"10.1016\/j.eswa.2017.03.047"},{"key":"879_CR26","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1613\/jair.1880","volume":"24","author":"H Younes","year":"2005","unstructured":"Younes H, Littman M, Weissman D, Asmuth J (2005) The first probabilistic track of the international planning competition. J Artif Intell Res (JAIR) 24:851\u2013887","journal-title":"J Artif Intell Res (JAIR)"},{"issue":"1\u20132","key":"879_CR27","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(01)00106-0","volume":"129","author":"EA Hansen","year":"2001","unstructured":"Hansen EA, Zilberstein S (2001) LAO*: A heuristic search algorithm that finds solutions with loops. Artif Intell 129(1\u20132):35\u201362","journal-title":"Artif Intell"},{"key":"879_CR28","unstructured":"Burattin A (2015) PLG2: Multiperspective processes randomization and simulation for online and offline settings. preprint arXiv:1506.08415"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-024-00879-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13218-024-00879-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-024-00879-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T19:02:19Z","timestamp":1760986939000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13218-024-00879-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,7]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["879"],"URL":"https:\/\/doi.org\/10.1007\/s13218-024-00879-0","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"type":"print","value":"0933-1875"},{"type":"electronic","value":"1610-1987"}],"subject":[],"published":{"date-parts":[[2025,3,7]]},"assertion":[{"value":"5 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 December 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 March 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":"The authors have no Conflict of interest to declare.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval"}}]}}