{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T04:08:58Z","timestamp":1749701338440,"version":"3.41.0"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T00:00:00Z","timestamp":1749600000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T00:00:00Z","timestamp":1749600000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"funder":[{"DOI":"10.13039\/100005156","name":"Alexander von Humboldt-Stiftung","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100005156","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Process Sci"],"DOI":"10.1007\/s44311-025-00014-8","type":"journal-article","created":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T09:23:31Z","timestamp":1749633811000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Abstract-and-compare stochastic conformance checking"],"prefix":"10.1007","volume":"2","author":[{"given":"Eduardo","family":"Goulart Rocha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sander J. J.","family":"Leemans","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,11]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","unstructured":"Adriansyah A, van Dongen B, van der Aalst WMP (2011) Conformance checking using cost-based fitness analysis. In: 15th International Enterprise Distributed Object Computing Conference, pp 55\u201364. https:\/\/doi.org\/10.1109\/EDOC.2011.12","DOI":"10.1109\/EDOC.2011.12"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"101922","DOI":"10.1016\/J.IS.2021.101922","volume":"107","author":"H Alkhammash","year":"2022","unstructured":"Alkhammash H, Polyvyanyy A, Moffat A et al (2022) Entropic relevance: a mechanism for measuring stochastic process models discovered from event data. Inf Syst 107:101922. https:\/\/doi.org\/10.1016\/J.IS.2021.101922","journal-title":"Inf Syst"},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"Augusto A, Armas-Cervantes A, Conforti R, et\u00a0al (2022) Measuring fitness and precision of automatically discovered process models: A principled and scalable approach. IEEE Trans Knowl Data Eng 34(4). https:\/\/doi.org\/10.1109\/TKDE.2020.3003258","DOI":"10.1109\/TKDE.2020.3003258"},{"issue":"2","key":"14_CR4","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/S10115-018-1214-X","volume":"59","author":"A Augusto","year":"2019","unstructured":"Augusto A, Conforti R, Dumas M et al (2019) Split miner: automated discovery of accurate and simple business process models from event logs. Knowl Inf Syst 59(2):251\u2013284. https:\/\/doi.org\/10.1007\/S10115-018-1214-X","journal-title":"Knowl Inf Syst"},{"key":"14_CR5","doi-asserted-by":"publisher","unstructured":"Bergami G, Maggi FM, Montali M, et\u00a0al (2021) Probabilistic trace alignment. In: 2021 3rd International Conference on Process Mining (ICPM), pp 9\u201316. https:\/\/doi.org\/10.1109\/ICPM53251.2021.9576856","DOI":"10.1109\/ICPM53251.2021.9576856"},{"key":"#cr-split#-14_CR6.1","unstructured":"Brants T, Popat AC, Xu P, et\u00a0al (2007) Large language models in machine translation. In: Eisner J"},{"key":"#cr-split#-14_CR6.2","unstructured":"(ed) EMNLP-CoNLL 2007, Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning, June 28-30, 2007, Prague, Czech Republic. ACL, pp 858-867. https:\/\/aclanthology.org\/D07-1090\/"},{"key":"14_CR7","doi-asserted-by":"publisher","unstructured":"Brockhoff T, Uysal MS, van\u00a0der Aalst WMP (2020) Time-aware concept drift detection using the earth mover's distance. In:\u00a0van Dongen BF,\u00a0van Dongen M and\u00a0Wynn MT (eds) 2nd International Conference on Process Mining, {ICPM} 2020, Padua,Italy, October 4-9, 2020.\u00a0IEEE, Padua,\u00a0 pp 33\u201340. https:\/\/doi.org\/10.1109\/ICPM49681.2020.00016","DOI":"10.1109\/ICPM49681.2020.00016"},{"key":"14_CR8","doi-asserted-by":"publisher","unstructured":"Brockhoff T, Uysal MS, van\u00a0der Aalst WMP (2024) Process comparison based on selection-projection structures. In: Guizzardi G, Santoro FM, Mouratidis H, et\u00a0al (eds) Advanced Information Systems Engineering - 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings, Lecture Notes in Computer Science, vol 14663. Springer, pp 20\u201335. https:\/\/doi.org\/10.1007\/978-3-031-61057-8_2","DOI":"10.1007\/978-3-031-61057-8_2"},{"key":"14_CR9","doi-asserted-by":"publisher","unstructured":"Burke A, Leemans SJJ, Wynn MT (2021) Stochastic process discovery by weight estimation. In:  Leemans SJJ and\u00a0Leopold H (eds) Process Mining Workshops - {ICPM} 2020 International Workshops, Padua, Italy, October 5-8, 2020, Revised Selected Papers.\u00a0Lecture notes in business information processing, vol 406,\u00a0Springer,\u00a0Padua, pp 260\u2013272.\u00a0https:\/\/doi.org\/10.1007\/978-3-030-72693-5_20","DOI":"10.1007\/978-3-030-72693-5_20"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"102382","DOI":"10.1016\/J.IS.2024.102382","volume":"124","author":"AT Burke","year":"2024","unstructured":"Burke AT, Leemans SJJ, Wynn MT et al (2024) A chance for models to show their quality: Stochastic process model-log dimensions. Inf Syst 124:102382. https:\/\/doi.org\/10.1016\/J.IS.2024.102382","journal-title":"Inf Syst"},{"key":"14_CR11","doi-asserted-by":"publisher","unstructured":"Chapela-Campa D, Benchekroun I, Baron O, et\u00a0al (2023) Can I trust my simulation model? measuring the quality of business process simulation models. In:\u00a0Di Francescomarino C,\u00a0Burattin A,\u00a0Janiesch C and\u00a0Sadiq S (eds) Business Process Management - 21st International Conference, (BPM) 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings.\u00a0Lecture notes in computer science, vol\u00a014159,\u00a0Springer, Utrecht, pp 20\u201337.\u00a0https:\/\/doi.org\/10.1007\/978-3-031-41620-0_2","DOI":"10.1007\/978-3-031-41620-0_2"},{"key":"14_CR12","doi-asserted-by":"publisher","unstructured":"Chu W, Bonsangue MM (2020) Learning probabilistic languages by k-testable machines. In: Aoki T, Li Q (eds) International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020. IEEE, pp 129\u2013136. https:\/\/doi.org\/10.1109\/TASE49443.2020.00026","DOI":"10.1109\/TASE49443.2020.00026"},{"key":"#cr-split#-14_CR13.1","unstructured":"Corazza A, de\u00a0Mori R, Satta G (1992) Computation of upper-bounds for stochastic context-free languages. In: Swartout WR"},{"key":"#cr-split#-14_CR13.2","unstructured":"(ed) Proceedings of the 10th National Conference on Artificial Intelligence, San Jose, CA, USA, July 12-16, 1992. AAAI Press \/ The MIT Press, pp 344-349."},{"key":"14_CR14","first-page":"897","volume":"1990","author":"A Corazzat","year":"1990","unstructured":"Corazzat A, Mori RD, Gretter R et al (1990) Computation of probabilities for island-driven parsers. Proc. ICSLP 1990:897\u2013900","journal-title":"Proc. ICSLP"},{"key":"14_CR15","doi-asserted-by":"publisher","unstructured":"de Leoni M, Mannhardt F (2015). Road traffic fine management process. https:\/\/doi.org\/10.4121\/uuid:270fd440-1057-4fb9-89a9-b699b47990f5","DOI":"10.4121\/uuid:270fd440-1057-4fb9-89a9-b699b47990f5"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"1349","DOI":"10.1016\/j.patcog.2004.03.020","volume":"38","author":"P Dupont","year":"2005","unstructured":"Dupont P, Denis F, Esposito Y (2005) Links between probabilistic automata and hidden markov models: Probability distributions, learning models and induction algorithms. Pattern Recognit 38:1349\u20131371. https:\/\/doi.org\/10.1016\/j.patcog.2004.03.020","journal-title":"Pattern Recognit"},{"key":"14_CR17","doi-asserted-by":"publisher","unstructured":"Fred ALN (2000) Computation of substring probabilities in stochastic grammars. In: Grammatical Inference: Algorithms and Applications, 5th International Colloquium, ICGI 2000, pp 103\u2013114. https:\/\/doi.org\/10.1007\/978-3-540-45257-7_9","DOI":"10.1007\/978-3-540-45257-7_9"},{"issue":"9","key":"14_CR18","doi-asserted-by":"publisher","first-page":"920","DOI":"10.1109\/34.57687","volume":"12","author":"P Garc\u00eda","year":"1990","unstructured":"Garc\u00eda P, Vidal E (1990) Inference of k-testable languages in the strict sense and application to syntactic pattern recognition. IEEE Trans Pattern Anal Mach Intell 12(9):920\u2013925. https:\/\/doi.org\/10.1109\/34.57687","journal-title":"IEEE Trans Pattern Anal Mach Intell"},{"key":"14_CR19","doi-asserted-by":"publisher","unstructured":"Goulart\u00a0Rocha E, van\u00a0der Aalst WMP (2023) Polynomial-time conformance checking for process trees. In: Di Francescomarino C,\u00a0Burattin A,\u00a0Janiesch C and\u00a0Sadiq S (eds) Business Process Management - 21st International Conference, (BPM) 2023, Utrecht, The Netherlands, September 11-15, 2023, Proceedings.\u00a0Lecture notes in computer science, vol\u00a014159,\u00a0Springer,\u00a0Utrecht, pp 109\u2013125. https:\/\/doi.org\/10.1007\/978-3-031-41620-0_7","DOI":"10.1007\/978-3-031-41620-0_7"},{"key":"14_CR20","unstructured":"Grinstead CM, Snell JL (2003) Introduction to Probability. AMS"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Hanneforth T, de la Higuera C (2010) Epsilon-removal by loop reduction for finite-state automata over complete semirings. Studia Grammatica. 72:297\u2013312. https:\/\/api.semanticscholar.org\/CorpusID:124584692","DOI":"10.1524\/9783050062365.297"},{"key":"14_CR22","doi-asserted-by":"publisher","unstructured":"Khayatbashi S, Hartig O, Jalali A (2023) Bpi challenge 2017 (ocel). https:\/\/doi.org\/10.4121\/6889ca3f-97cf-459a-b630-3b0b0d8664b5.v1","DOI":"10.4121\/6889ca3f-97cf-459a-b630-3b0b0d8664b5.v1"},{"key":"14_CR23","doi-asserted-by":"publisher","unstructured":"Leemans SJJ, Fahland D, van\u00a0der Aalst WMP (2014) Discovering block-structured process models from incomplete event logs. In: Ciardo\u00a0G and Kindler E (eds) Application and Theory of Petri Nets and Concurrency - 35th International Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014. Lecture notes in computer science, vol 8489. Springer,\u00a0Tunis, pp 91\u2013110.\u00a0https:\/\/doi.org\/10.1007\/978-3-319-07734-5_6","DOI":"10.1007\/978-3-319-07734-5_6"},{"key":"14_CR24","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/s10270-016-0545-x","volume":"17","author":"SJJ Leemans","year":"2016","unstructured":"Leemans SJJ, Fahland D, van der Aalst W (2016) Scalable process discovery and conformance checking. Softw Syst Model 17:599\u2013631","journal-title":"Softw Syst Model"},{"key":"14_CR25","unstructured":"Leemans SJ, Li T, van Detten JN (2024a) Ebi-a stochastic process mining framework. In: ICPM 2024 Doctoral Consortium and Demo Track. CEUR Workshop Proceedings, vol-3783, CEUR-WS.org"},{"key":"14_CR26","doi-asserted-by":"publisher","first-page":"102383","DOI":"10.1016\/j.is.2024.102383","volume":"124","author":"SJ Leemans","year":"2024","unstructured":"Leemans SJ, Maggi FM, Montali M (2024) Enjoy the silence: Analysis of stochastic petri nets with silent transitions. Inf Syst 124:102383. https:\/\/doi.org\/10.1016\/j.is.2024.102383","journal-title":"Inf Syst"},{"key":"14_CR27","doi-asserted-by":"publisher","unstructured":"Leemans SJJ, Polyvyanyy A (2020) Stochastic-aware conformance checking: An entropy-based approach. In:\u00a0Dustdar S, Yu E, Salinesi C,\u00a0Rieu D and Pant V (eds) Advanced Information Systems Engineering - 32nd International Conference, CAiSE 2020, Grenoble, France, June 8-12, 2020, Proceedings.\u00a0Lecture Notes in Computer Science, vol\u00a012127.\u00a0Springer, Grenoble, pp 217\u2013233.\u00a0https:\/\/doi.org\/10.1007\/978-3-030-49435-3_14","DOI":"10.1007\/978-3-030-49435-3_14"},{"key":"14_CR28","doi-asserted-by":"publisher","first-page":"102197","DOI":"10.1016\/J.IS.2023.102197","volume":"115","author":"SJJ Leemans","year":"2023","unstructured":"Leemans SJJ, Polyvyanyy A (2023) Stochastic-aware precision and recall measures for conformance checking in process mining. Inf Syst 115:102197. https:\/\/doi.org\/10.1016\/J.IS.2023.102197","journal-title":"Inf Syst"},{"key":"14_CR29","doi-asserted-by":"publisher","unstructured":"Leemans SJJ, Poppe E, Wynn MT (2019) Directly follows-based process mining: Exploration & a case study. In: International Conference on Process Mining, ICPM 2019, Aachen, Germany, June 24-26, 2019. IEEE, pp 25\u201332. https:\/\/doi.org\/10.1109\/ICPM.2019.00015","DOI":"10.1109\/ICPM.2019.00015"},{"key":"14_CR30","doi-asserted-by":"publisher","first-page":"101724","DOI":"10.1016\/j.is.2021.101724","volume":"102","author":"SJJ Leemans","year":"2021","unstructured":"Leemans SJJ, van der Aalst WMP, Brockhoff T et al (2021) Stochastic process mining: Earth movers\u2019 stochastic conformance. Inf Syst 102:101724","journal-title":"Inf Syst"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"Li T, Leemans SJ, Polyvyanyy A (2025) The jensen-shannon distance metric for stochastic conformance checking. In:\u00a0ICPM 2024 International Workshops, Lyngby, Denmark, October 14\u201318, 2024, Revised Selected Papers, Springer Nature Switzerland,\u00a0Cham, pp70\u201383.\u00a0ISBN978-3-031-82225-4","DOI":"10.1007\/978-3-031-82225-4_6"},{"key":"14_CR32","doi-asserted-by":"publisher","unstructured":"Mannhardt F (2016). Sepsis cases - event log. https:\/\/doi.org\/10.4121\/UUID:915D2BFB-7E84-49AD-A286-DC35F063A460","DOI":"10.4121\/UUID:915D2BFB-7E84-49AD-A286-DC35F063A460"},{"key":"14_CR33","doi-asserted-by":"publisher","unstructured":"Mannhardt F (2017). Hospital billing - event log. https:\/\/doi.org\/10.4121\/uuid:76c46b83-c930-4798-a1c9-4be94dfeb741","DOI":"10.4121\/uuid:76c46b83-c930-4798-a1c9-4be94dfeb741"},{"key":"14_CR34","doi-asserted-by":"crossref","unstructured":"Marsan MA, Balbo G, Conte G, et\u00a0al (1995) Modelling with generalized stochastic petri nets. SIGMETRICS Perform Eval Rev 26:2.","DOI":"10.1145\/288197.581193"},{"key":"14_CR35","doi-asserted-by":"publisher","unstructured":"Mohri M (2011) Generic $$\\epsilon$$-removal and input $$\\epsilon$$-normalization algorithms for weighted transducers. Int J Found Comput Sci 13. https:\/\/doi.org\/10.1142\/S0129054102000996","DOI":"10.1142\/S0129054102000996"},{"issue":"1","key":"14_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/CSLA.1994.1001","volume":"8","author":"H Ney","year":"1994","unstructured":"Ney H, Essen U, Kneser R (1994) On structuring probabilistic dependences in stochastic language modelling. Comput Speech Lang 8(1):1\u201338. https:\/\/doi.org\/10.1006\/CSLA.1994.1001","journal-title":"Comput Speech Lang"},{"key":"14_CR37","doi-asserted-by":"publisher","unstructured":"Rocha EG, Leemans SJJ, van\u00a0der Aalst WMP (2024) Stochastic conformance checking based on expected subtrace frequency. In: 6th International Conference on Process Mining, ICPM 2024, Kgs. Lyngby, Denmark, October 14-18, 2024. IEEE, pp 73\u201380. https:\/\/doi.org\/10.1109\/ICPM63005.2024.10680673","DOI":"10.1109\/ICPM63005.2024.10680673"},{"key":"14_CR38","doi-asserted-by":"publisher","unstructured":"Steeman W (2013) Bpi challenge 2013, incidents. https:\/\/doi.org\/10.1109\/JPROC.2010.2070470","DOI":"10.1109\/JPROC.2010.2070470"},{"key":"14_CR39","doi-asserted-by":"publisher","unstructured":"van Dongen BB (2014) Bpi challenge 2014. https:\/\/doi.org\/10.4121\/UUID:C3E5D162-0CFD-4BB0-BD82-AF5268819C35","DOI":"10.4121\/UUID:C3E5D162-0CFD-4BB0-BD82-AF5268819C35"},{"key":"14_CR40","doi-asserted-by":"publisher","unstructured":"van Dongen BB (2015) Bpi challenge 2015. https:\/\/doi.org\/10.4121\/UUID:31A308EF-C844-48DA-948C-305D167A0EC1","DOI":"10.4121\/UUID:31A308EF-C844-48DA-948C-305D167A0EC1"},{"key":"14_CR41","doi-asserted-by":"publisher","unstructured":"van Dongen B (2020) Bpi challenge 2020: Request for payment. https:\/\/doi.org\/10.4121\/uuid:895b26fb-6f25-46eb-9e48-0dca26fcd030","DOI":"10.4121\/uuid:895b26fb-6f25-46eb-9e48-0dca26fcd030"},{"key":"14_CR42","doi-asserted-by":"publisher","unstructured":"Vidal E, Thollard F, de\u00a0la Higuera C, et\u00a0al (2005a) Probabilistic finite-state machines - part i. IEEE Trans Pattern Anal Mach Intell 27(7). https:\/\/doi.org\/10.1109\/TPAMI.2005.147","DOI":"10.1109\/TPAMI.2005.147"},{"issue":"7","key":"14_CR43","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1109\/TPAMI.2005.148","volume":"27","author":"E Vidal","year":"2005","unstructured":"Vidal E, Thollard F, de la Higuera C et al (2005) Probabilistic finite-state machines-part II. IEEE Trans Pattern Anal Mach Intell 27(7):1026\u20131039. https:\/\/doi.org\/10.1109\/TPAMI.2005.148","journal-title":"IEEE Trans Pattern Anal Mach Intell"}],"container-title":["Process Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s44311-025-00014-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s44311-025-00014-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s44311-025-00014-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T09:23:35Z","timestamp":1749633815000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s44311-025-00014-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,11]]},"references-count":45,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,12]]}},"alternative-id":["14"],"URL":"https:\/\/doi.org\/10.1007\/s44311-025-00014-8","relation":{},"ISSN":["2948-2178"],"issn-type":[{"value":"2948-2178","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,11]]},"assertion":[{"value":"19 December 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 April 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 June 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":"13"}}