{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T08:10:10Z","timestamp":1749283810751,"version":"3.41.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031946332","type":"print"},{"value":"9783031946349","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-94634-9_15","type":"book-chapter","created":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T07:59:24Z","timestamp":1749283164000},"page":"310-332","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Enjoy the\u00a0Silence, Part II: Probability-Based Queries on\u00a0Stochastic Labelled Petri Nets"],"prefix":"10.1007","author":[{"given":"Sander J. J.","family":"Leemans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timo","family":"Gersing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Engelhardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,8]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining - Data Science in Action","author":"W van der Aalst","year":"2016","unstructured":"van der Aalst, W.: Process Mining - Data Science in Action, 2nd edn. Springer, Heidelberg (2016)","edition":"2"},{"issue":"3","key":"15_CR2","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s00224-003-1061-2","volume":"36","author":"VD Blondel","year":"2003","unstructured":"Blondel, V.D., Canterini, V.: Undecidable problems for probabilistic automata of fixed dimension. Theory Comput. Syst. 36(3), 231\u2013245 (2003)","journal-title":"Theory Comput. Syst."},{"key":"15_CR3","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., 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"},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/32.214828","volume":"19","author":"G Chiola","year":"1993","unstructured":"Chiola, G., Marsan, M.A., Balbo, G., Conte, G.: Generalized stochastic petri nets: a definition at the net level and its implications. IEEE Trans. Softw. Eng. 19(2), 89\u2013107 (1993)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"15_CR5","unstructured":"Cohen, I., Gal, A.: Uncertain process data with probabilistic knowledge: problem characterization and challenges. In: PROBLEMS, vol.\u00a02938. CEUR (2021)"},{"key":"15_CR6","doi-asserted-by":"publisher","unstructured":"Dengler, G., Carnevali, L., Budde, C.E., Vicario, E.: Transient evaluation of non-markovian models by stochastic state classes and simulation. In: QEST+FORMATS. Lecture Notes in Computer Science, vol. 14996, pp. 213\u2013232. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-68416-6_13","DOI":"10.1007\/978-3-031-68416-6_13"},{"issue":"4","key":"15_CR7","doi-asserted-by":"publisher","first-page":"413","DOI":"10.2307\/2370405","volume":"35","author":"LE Dickson","year":"1913","unstructured":"Dickson, L.E.: Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors. Am. J. Math. 35(4), 413\u2013422 (1913)","journal-title":"Am. J. Math."},{"key":"15_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4","volume-title":"Fundamentals of Business Process Management","author":"M Dumas","year":"2018","unstructured":"Dumas, M., Rosa, M.L., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management, 2nd edn. Springer, Heidelberg (2018)","edition":"2"},{"key":"15_CR9","unstructured":"Esparza, J.: Petri nets lecture notes. PNSkript. pdf (2019)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/3-540-56689-9_45","volume-title":"Advances in Petri Nets 1993","author":"A Finkel","year":"1993","unstructured":"Finkel, A.: The minimal coverability graph for Petri nets. In: Rozenberg, G. (ed.) ICATPN 1991. LNCS, vol. 674, pp. 210\u2013243. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-56689-9_45"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/978-3-642-14162-1_44","volume-title":"Automata, Languages and Programming","author":"H Gimbert","year":"2010","unstructured":"Gimbert, H., Oualhadj, Y.: Probabilistic automata on finite words: decidable and undecidable problems. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 527\u2013538. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14162-1_44"},{"key":"15_CR12","unstructured":"Grinstead, C.M., Snel, J.L.: Introduction to Probability, 2nd edn. American Mathematical Society (1997)"},{"key":"15_CR13","doi-asserted-by":"publisher","unstructured":"Hartmanns, A., Junges, S., Quatmann, T., Weininger, M.: A practitioner\u2019s guide to MDP model checking algorithms. In: TACAS (1). LNCS, vol. 13993. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-30823-9_24","DOI":"10.1007\/978-3-031-30823-9_24"},{"key":"15_CR14","unstructured":"Kalenkova, A.A., Mitchell, L., Roughan, M.: Performance analysis: discovering semi-markov models from event logs. CoRR arxiv:2206.14415 (2022)"},{"key":"15_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2021.101724","volume":"102","author":"S Leemans","year":"2021","unstructured":"Leemans, S., van der Aalst, W., Brockhoff, T., Polyvyanyy, A.: Stochastic process mining: earth movers\u2019 stochastic conformance. Inf. Syst. 102, 101724 (2021)","journal-title":"Inf. Syst."},{"key":"15_CR16","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":"S Leemans","year":"2014","unstructured":"Leemans, S., Fahland, D., van der Aalst, W.: 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":"15_CR17","unstructured":"Leemans, S.J.J., Li, T., van Detten, J.N.: Ebi - a stochastic process mining framework. In: ICPM Doctoral Consortium\/Demo. CEUR Workshop Proceedings, vol.\u00a03783. CEUR-WS.org (2024)"},{"key":"15_CR18","doi-asserted-by":"publisher","unstructured":"Leemans, S.J.J., Li, T., Montali, M., Polyvyanyy, A.: Stochastic process discovery: can it be done optimally? In: CAiSE. LNCS, vol. 14663. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-61057-8_3","DOI":"10.1007\/978-3-031-61057-8_3"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Leemans, S.J.J., Maggi, F.M., Montali, M.: Enjoy the silence: analysis of stochastic petri nets with silent transitions. Inf. Syst. (2024)","DOI":"10.1016\/j.is.2024.102383"},{"key":"15_CR20","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2023.102197","volume":"115","author":"S Leemans","year":"2023","unstructured":"Leemans, S., Polyvyanyy, A.: Stochastic-aware precision and recall measures for conformance checking in process mining. Inf. Syst. 115, 102197 (2023)","journal-title":"Inf. Syst."},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Leemans, S.J.J., Poppe, E., Wynn, M.T.: Directly follows-based process mining: exploration & a case study. In: ICPM, pp. 25\u201332. IEEE (2019)","DOI":"10.1109\/ICPM.2019.00015"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Leemans, S.J.J., Syring, A.F., van\u00a0der Aalst, W.M.P.: Earth movers\u2019 stochastic conformance checking. In: BPM Forum. LNBIP (2019)","DOI":"10.1007\/978-3-030-26643-1_8"},{"key":"15_CR23","doi-asserted-by":"publisher","unstructured":"Li, T., Leemans, S.J., Polyvyanyy, A.: The Jensen-Shannon distance for stochastic conformance checking. In: International Conference on Process Mining, pp. 70\u201383. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-82225-4_6","DOI":"10.1007\/978-3-031-82225-4_6"},{"issue":"2","key":"15_CR24","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"MA Marsan","year":"1984","unstructured":"Marsan, M.A., Conte, G., Balbo, G.: A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 2(2), 93\u2013122 (1984). https:\/\/doi.org\/10.1145\/190.191","journal-title":"ACM Trans. Comput. Syst."},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Puterman, M.L.: Markov decision processes. In: Stochastic Models, Handbooks in Operations Research and Management Science, vol.\u00a02, pp. 331\u2013434. Elsevier (1990)","DOI":"10.1016\/S0927-0507(05)80172-0"},{"issue":"3","key":"15_CR26","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","volume":"6","author":"MO Rabin","year":"1963","unstructured":"Rabin, M.O.: Probabilistic automata. Inf. Control 6(3), 230\u2013245 (1963)","journal-title":"Inf. Control"},{"key":"15_CR27","series-title":"Lecture Notes in Business Information Processing","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., van der Aalst, W., Weske, M.: Discovering stochastic petri nets with arbitrary delay distributions from event logs. In: Lohmann, N., Song, M., Wohed, P. (eds.) BPM 2013. LNBIP, vol. 171, pp. 15\u201327. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06257-0_2"},{"issue":"7","key":"15_CR28","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1109\/TPAMI.2005.147","volume":"27","author":"E Vidal","year":"2005","unstructured":"Vidal, E., Thollard, F., de la Higuera, C., Casacuberta, F., Carrasco, R.C.: Probabilistic finite-state machines-part I. IEEE Trans. Pattern Anal. Mach. Intell. 27(7), 1013\u20131025 (2005)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"issue":"7","key":"15_CR29","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., Casacuberta, F., Carrasco, R.C.: Probabilistic finite-state machines-part II. IEEE Trans. Pattern Anal. Mach. Intell. 27(7), 1026\u20131039 (2005)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-94634-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T07:59:28Z","timestamp":1749283168000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94634-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031946332","9783031946349"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94634-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"8 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PETRI NETS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Applications and Theory of Petri Nets and Concurrency","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"46","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"apn2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf-2025.petrinet.net","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}