{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T03:11:36Z","timestamp":1780629096702,"version":"3.54.1"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T00:00:00Z","timestamp":1732492800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T00:00:00Z","timestamp":1732492800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007210","name":"RWTH Aachen University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007210","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2025,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Process mining aids organisations in improving their operational processes by providing visualisations and algorithms that turn event data into insights. How often behaviour occurs in a process\u2014the stochastic perspective\u2014is important for simulation, recommendation, enhancement and other types of analysis. Although the stochastic perspective is important, the focus is often on control flow. Stochastic conformance checking techniques assess the quality of stochastic process models and\/or event logs with one another. In this paper, we address three limitations of existing stochastic conformance checking techniques: inability to handle uncertain event data (e.g. events having only a date), exponential blow-up in computation time due to the analysis of all interleavings of concurrent behaviour and the problem that loops that can be unfolded infinitely often. To address these challenges, we provide bounds for conformance measures and use partial orders to encode behaviour. An open-source implementation is provided, which we use to illustrate and evaluate the practical feasibility of the approach.<\/jats:p>","DOI":"10.1007\/s10115-024-02280-7","type":"journal-article","created":{"date-parts":[[2024,11,25]],"date-time":"2024-11-25T19:53:16Z","timestamp":1732564396000},"page":"2291-2319","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Partially ordered stochastic conformance checking"],"prefix":"10.1007","volume":"67","author":[{"given":"Sander J. J.","family":"Leemans","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tobias","family":"Brockhoff","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wil M. P.","family":"van\u00a0der\u00a0Aalst","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Artem","family":"Polyvyanyy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,11,25]]},"reference":[{"issue":"4","key":"2280_CR1","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/2710020","volume":"9","author":"G Greco","year":"2015","unstructured":"Greco G, Guzzo A, Lupia F, Pontieri L (2015) Process discovery under precedence constraints. ACM Trans Knowl Discov Data 9(4):32\u201313239","journal-title":"ACM Trans Knowl Discov Data"},{"key":"2280_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ipl.2018.01.013","volume":"135","author":"N Tax","year":"2018","unstructured":"Tax N, Lu X, Sidorova N, Fahland D, van der Aalst WMP (2018) The imprecisions of precision measures in process mining. Inf Process Lett 135:1\u20138","journal-title":"Inf Process Lett"},{"key":"2280_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99414-7","volume-title":"Conformance checking - relating processes and models","author":"J Carmona","year":"2018","unstructured":"Carmona J, van Dongen BF, Solti A, Weidlich M (2018) Conformance checking - relating processes and models. Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-319-99414-7"},{"issue":"2","key":"2280_CR4","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/s10270-016-0545-x","volume":"17","author":"SJJ Leemans","year":"2018","unstructured":"Leemans SJJ, Fahland D, van der Aalst WMP (2018) Scalable process discovery and conformance checking. Softw Syst Model 17(2):599\u2013631","journal-title":"Softw Syst Model"},{"issue":"2","key":"2280_CR5","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/3301300","volume":"13","author":"I Teinemaa","year":"2019","unstructured":"Teinemaa I, Dumas M, Rosa ML, Maggi FM (2019) Outcome-oriented predictive process monitoring: Review and benchmark. ACM Trans Knowl Discov Data 13(2):17\u201311757","journal-title":"ACM Trans Knowl Discov Data"},{"key":"2280_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":"2280_CR7","doi-asserted-by":"publisher","unstructured":"Leemans SJJ, Polyvyanyy A (2020) Stochastic-aware conformance checking: An entropy-based approach. In: Dustdar S, Yu E, Salinesi C, Rieu D, Pant V (eds) Advanced information systems engineering - 32nd international conference, CAiSE 2020, Grenoble, France, June 8-12, 2020, Proceedings. Lecture Notes in Computer Science, vol 12127, Springer, pp 217\u2013233 https:\/\/doi.org\/10.1007\/978-3-030-49435-3_14","DOI":"10.1007\/978-3-030-49435-3_14"},{"key":"2280_CR8","doi-asserted-by":"crossref","unstructured":"Adriansyah A, van Dongen BF, van\u00a0der Aalst WMP (2011) Conformance checking using cost-based fitness analysis. In: IEEE EDOC, pp 55\u201364","DOI":"10.1109\/EDOC.2011.12"},{"key":"2280_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2020.113347","volume":"136","author":"H van der Aa","year":"2020","unstructured":"van der Aa H, Leopold H, Weidlich M (2020) Partial order resolution of event logs for process conformance checking. Decis Support Syst 136:113347","journal-title":"Decis Support Syst"},{"key":"2280_CR10","doi-asserted-by":"crossref","unstructured":"Lu X, Fahland D, van\u00a0der Aalst WMP (2014) Conformance checking based on partially ordered event data. In: BPM workshops, vol 202, pp 75\u201388","DOI":"10.1007\/978-3-319-15895-2_7"},{"key":"2280_CR11","doi-asserted-by":"publisher","unstructured":"Polyvyanyy A, Moffat A, Garc\u00eda-Ba\u00f1uelos L (2020) An entropic relevance measure for stochastic conformance checking in process mining. In: van Dongen BF, Montali M, Wynn MT (eds) 2nd international conference on process mining, ICPM 2020, Padua, Italy, October 4-9, 2020, pp 97\u2013104. IEEE, https:\/\/doi.org\/10.1109\/ICPM49681.2020.00024","DOI":"10.1109\/ICPM49681.2020.00024"},{"key":"2280_CR12","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2021.101922","volume":"107","author":"H Alkhammash","year":"2021","unstructured":"Alkhammash H, Polyvyanyy A, Moffat A, Garc\u00eda-Ba\u00f1uelos L (2021) Entropic relevance: A mechanism for measuring stochastic process models discovered from event data. Inf Syst 107:101922","journal-title":"Inf Syst"},{"key":"2280_CR13","unstructured":"Polyvyanyy A, Alkhammash H, Ciccio CD, Garc\u00eda-Ba\u00f1uelos L, Kalenkova AA, Leemans SJJ, Mendling J, Moffat A, Weidlich M (2020) Entropia: a family of entropy-based conformance checking measures for process mining. In: ICPM doctoral consortium and tool demonstration track. CEUR Workshop Proceedings, vol 2703, pp 39\u201342"},{"key":"2280_CR14","doi-asserted-by":"publisher","unstructured":"Leemans SJJ, Syring AF, van\u00a0der Aalst WMP (2019) Earth movers\u2019 stochastic conformance checking. In: Hildebrandt TT, van Dongen BF, R\u00f6glinger M, Mendling J (eds) Business Process Management Forum - BPM Forum 2019, Vienna, Austria, September 1-6, 2019, Proceedings. Lecture Notes in Business Information Processing, vol 360, pp 127\u2013143. Springer, https:\/\/doi.org\/10.1007\/978-3-030-26643-1_8","DOI":"10.1007\/978-3-030-26643-1_8"},{"key":"2280_CR15","doi-asserted-by":"publisher","unstructured":"Richter F, Sontheim J, Zellner L, Seidl T (2020) TADE: stochastic conformance checking using temporal activity density estimation. In: Fahland D, Ghidini C, Becker J, Dumas M (eds) Business Process Management - 18th international conference, BPM 2020, Seville, Spain, September 13-18, 2020, Proceedings. Lecture Notes in Computer Science, vol 12168, pp 220\u2013236. Springer, https:\/\/doi.org\/10.1007\/978-3-030-58666-9_13","DOI":"10.1007\/978-3-030-58666-9_13"},{"key":"2280_CR16","unstructured":"Alizadeh M, de Leoni M, Zannone, N (2014) History-based construction of log-process alignments for conformance checking: Discovering what really went wrong. In: SIMPDA. CEUR workshop proceedings, vol 1293, pp 1\u201315"},{"key":"2280_CR17","doi-asserted-by":"publisher","unstructured":"Alizadeh M, de Leoni M, Zannone N (2015) Constructing probable explanations of nonconformity: a data-aware and history-based approach. In: IEEE symposium series on computational intelligence, SSCI 2015, Cape Town, South Africa, December 7-10, pp 1358\u20131365. IEEE, https:\/\/doi.org\/10.1109\/SSCI.2015.194","DOI":"10.1109\/SSCI.2015.194"},{"key":"2280_CR18","first-page":"204","volume-title":"Automatic root cause identification using most probable alignments","author":"M Koorneef","year":"2018","unstructured":"Koorneef M, Solti A, Leopold H, Reijers HA (2018) Automatic root cause identification using most probable alignments. Springer, Berlin, pp 204\u2013215"},{"key":"2280_CR19","doi-asserted-by":"publisher","unstructured":"Bergami G, Maggi FM, Montali M, Pe\u00f1aloza R (2021) Probabilistic trace alignment. In: Ciccio CD, Francescomarino CD, Soffer P (eds) 3rd international conference on process mining, ICPM 2021, Eindhoven, The Netherlands, October 31 - Nov. 4, 2021, pp 9\u201316. IEEE, https:\/\/doi.org\/10.1109\/ICPM53251.2021.9576856","DOI":"10.1109\/ICPM53251.2021.9576856"},{"key":"2280_CR20","doi-asserted-by":"publisher","unstructured":"Maggi FM, Montali M, Pe\u00f1aloza R (2020) Probabilistic conformance checking based on declarative process models. In: Herbaut N, Rosa ML (eds) Advanced information systems engineering - CAiSE Forum 2020, Grenoble, France, June 8-12, 2020, Proceedings. Lecture Notes in Business Information Processing, vol 386, pp 86\u201399. Springer, https:\/\/doi.org\/10.1007\/978-3-030-58135-0_8","DOI":"10.1007\/978-3-030-58135-0_8"},{"key":"2280_CR21","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.is.2016.01.002","volume":"62","author":"A Senderovich","year":"2016","unstructured":"Senderovich A, Weidlich M, Yedidsion L, Gal A, Mandelbaum A, Kadish S, Bunnell CA (2016) Conformance checking and performance improvement in scheduled processes: A queueing-network perspective. Inf Syst 62:185\u2013206","journal-title":"Inf Syst"},{"key":"2280_CR22","doi-asserted-by":"publisher","unstructured":"Bernard G, Andritsos P (2021) Selecting representative sample traces from large event logs. In: Ciccio CD, Francescomarino CD, Soffer P (eds) 3rd international conference on process mining, ICPM 2021, Eindhoven, The Netherlands, October 31 - Nov. 4, 2021, pp 56\u201363. IEEE, https:\/\/doi.org\/10.1109\/ICPM53251.2021.9576679","DOI":"10.1109\/ICPM53251.2021.9576679"},{"issue":"2","key":"2280_CR23","doi-asserted-by":"publisher","first-page":"1360003","DOI":"10.1142\/S1793830913600033","volume":"5","author":"F Brandenburg","year":"2013","unstructured":"Brandenburg F, Glei\u00dfner A, Hofmeier A (2013) Comparing and aggregating partial orders with kendall tau distances. Discret Math Algorithms Appl 5(2):1360003","journal-title":"Discret Math Algorithms Appl"},{"issue":"1\/2","key":"2280_CR24","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2332226","volume":"30","author":"MG Kendall","year":"1938","unstructured":"Kendall MG (1938) A new measure of rank correlation. Biometrika 30(1\/2):81\u201393","journal-title":"Biometrika"},{"key":"2280_CR25","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1111\/j.2517-6161.1977.tb01624.x","volume":"39","author":"P Diaconis","year":"1977","unstructured":"Diaconis P, Graham R (1977) Spearman\u2019s footrule as a measure of disarray. J R Stat Soc Ser B-Methodol 39:262\u2013268","journal-title":"J R Stat Soc Ser B-Methodol"},{"issue":"6","key":"2280_CR26","doi-asserted-by":"publisher","first-page":"1091","DOI":"10.1109\/TPAMI.2007.1078","volume":"29","author":"Y Li","year":"2007","unstructured":"Li Y, Liu B (2007) A normalized levenshtein distance metric. IEEE Trans Pattern Anal Mach Intell 29(6):1091\u20131095","journal-title":"IEEE Trans Pattern Anal Mach Intell"},{"key":"2280_CR27","first-page":"69","volume-title":"Measuring structural dissimilarity between finite partial orders","author":"M Fattore","year":"2014","unstructured":"Fattore M, Grassi R, Arcagni A (2014) Measuring structural dissimilarity between finite partial orders. Springer, Berlin, pp 69\u201384"},{"key":"2280_CR28","volume-title":"Modelling with generalized stochastic petri nets","author":"M Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic petri nets. John Wiley and Sons, New Jersey"},{"key":"2280_CR29","doi-asserted-by":"crossref","unstructured":"Rogge-Solti A, van\u00a0der Aalst WMP, Weske, M (2014) Discovering Stochastic Petri Nets with Arbitrary Delay Distributions from Event Logs. In: BPM Workshops, vol 171, pp 15\u201327","DOI":"10.1007\/978-3-319-06257-0_2"},{"issue":"2","key":"2280_CR30","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"4","author":"PE Hart","year":"1968","unstructured":"Hart PE, Nilsson NJ, Raphael B (1968) A formal basis for the heuristic determination of minimum cost paths. IEEE Trans Syst Sci Cybern 4(2):100\u2013107","journal-title":"IEEE Trans Syst Sci Cybern"},{"issue":"12","key":"2280_CR31","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman RM, Dumas M, Ouyang C (2008) Semantics and analysis of business process models in BPMN. Inf Softw Technol 50(12):1281\u20131294","journal-title":"Inf Softw Technol"},{"issue":"4","key":"2280_CR32","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1007\/s10270-015-0502-0","volume":"16","author":"AA Kalenkova","year":"2017","unstructured":"Kalenkova AA, van der Aalst WMP, Lomazova IA, Rubin VA (2017) Process mining using BPMN: relating event logs and process models. Softw Syst Model 16(4):1019\u20131048","journal-title":"Softw Syst Model"},{"issue":"2","key":"2280_CR33","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/32.214828","volume":"19","author":"G Chiola","year":"1993","unstructured":"Chiola G, Marsan MA, Balbo G, Conte G (1993) Generalized stochastic petri nets: a definition at the net level and its implications. IEEE Trans Softw Eng 19(2):89\u2013107","journal-title":"IEEE Trans Softw Eng"},{"key":"2280_CR34","doi-asserted-by":"crossref","unstructured":"van Dongen BF, Desel J, van\u00a0der Aalst WMP (2012) Aggregating Causal Runs into Workflow Nets. In: ToPNoC, vol 7400, pp 334\u2013363","DOI":"10.1007\/978-3-642-35179-2_14"},{"key":"2280_CR35","doi-asserted-by":"publisher","unstructured":"Desel J (2000) Validation of process models by construction of process nets. In: van\u00a0der Aalst WMP, Desel J, Oberweis A (eds) Business process management, models, techniques, and empirical studies. Lecture Notes in Computer Science, vol 1806. Springer, pp 110\u2013128 https:\/\/doi.org\/10.1007\/3-540-45594-9_8","DOI":"10.1007\/3-540-45594-9_8"},{"key":"2280_CR36","doi-asserted-by":"crossref","unstructured":"van Dongen B, de Medeiros AKA, Verbeek H, Weijters A, van\u00a0der Aalst W (2005) The ProM framework: a new era in process mining tool support. In: Petri Nets","DOI":"10.1007\/11494744_25"},{"issue":"9","key":"2280_CR37","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/362342.362367","volume":"16","author":"C Bron","year":"1973","unstructured":"Bron C, Kerbosch J (1973) Algorithm 457: finding all cliques of an undirected graph. Commun ACM 16(9):575\u2013577","journal-title":"Commun ACM"},{"key":"2280_CR38","doi-asserted-by":"crossref","unstructured":"Burke A, Leemans SJJ, Wynn MT (2020) Stochastic process discovery by weight estimation. In: ICPM workshops, vol 406, pp 260\u2013272","DOI":"10.1007\/978-3-030-72693-5_20"},{"key":"2280_CR39","doi-asserted-by":"crossref","unstructured":"Leemans SJJ, Fahland D, van\u00a0der Aalst WMP (2013) Discovering block-structured process models from event logs containing infrequent behaviour. In: BPM Workshops, vol 171, pp 66\u201378","DOI":"10.1007\/978-3-319-06257-0_6"},{"key":"2280_CR40","unstructured":"van\u00a0der Aalst WMP (2018) Relating process models and event logs - 21 conformance propositions. In: van\u00a0der Aalst WMP, Bergenthum R, Carmona J (eds) Proceedings of the international workshop on algorithms & theories for the analysis of event data 2018 satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th international conference on application of concurrency to system design ACSD 2018, Bratislava, Slovakia, June 25, 2018. CEUR Workshop Proceedings, vol 2115, pp 56\u201374. CEUR-WS.org, https:\/\/ceur-ws.org\/Vol-2115\/ATAED2018-56-74.pdf"},{"key":"2280_CR41","doi-asserted-by":"publisher","unstructured":"van\u00a0der Aalst WMP (2019) Object-centric process mining: dealing with divergence and convergence in event data. In: \u00d6lveczky PC, Sala\u00fcn G (eds) Software engineering and formal methods - 17th international conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. Lecture Notes in Computer Science, vol 11724, pp 3\u201325. Springer https:\/\/doi.org\/10.1007\/978-3-030-30446-1_1","DOI":"10.1007\/978-3-030-30446-1_1"},{"key":"2280_CR42","doi-asserted-by":"publisher","unstructured":"van\u00a0der Aalst WMP (2021) Concurrency and objects matter! disentangling the fabric of real operational processes to create digital twins. In: Cerone A, \u00d6lveczky PC (eds) Theoretical aspects of computing - ICTAC 2021 - 18th international colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings. Lecture Notes in Computer Science, vol 12819, pp 3\u201317. Springer https:\/\/doi.org\/10.1007\/978-3-030-85315-0_1","DOI":"10.1007\/978-3-030-85315-0_1"},{"key":"2280_CR43","doi-asserted-by":"crossref","unstructured":"van der Werf JM, Polyvyanyy A, van Wensveen BR, Brinkhuis M, Reijers HA (2021) All that glitters is not gold - towards process discovery techniques with guarantees, CAiSE, Lecture Notes in Computer Science, 12751, pp. 141\u2013157","DOI":"10.1007\/978-3-030-79382-1_9"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-024-02280-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10115-024-02280-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-024-02280-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T15:17:54Z","timestamp":1739373474000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10115-024-02280-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,25]]},"references-count":43,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,3]]}},"alternative-id":["2280"],"URL":"https:\/\/doi.org\/10.1007\/s10115-024-02280-7","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,25]]},"assertion":[{"value":"30 November 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 August 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 October 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 November 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}