{"type":"ScholarlyArticle","title":"Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)","authors":[{"name":"Sander J.J. Leemans","slug":"sander-j-j-leemans","given":"Sander J.J.","family":"Leemans","affiliation":"RWTH Aachen , Germany"},{"name":"Fabrizio M. Maggi","slug":"fabrizio-m-maggi","given":"Fabrizio M.","family":"Maggi","affiliation":"Free University of Bozen-Bolzano , Italy"},{"name":"Marco Montali","slug":"marco-montali","given":"Marco","family":"Montali","affiliation":"Free University of Bozen-Bolzano , Italy"}],"abstract":"In this paper, we summarise the main technical results obtained for specification probability. That is, we compute the probability that if a bounded stochastic Petri net produces a trace, that trace satisfies a given specification.","doi":"10.24963/ijcai.2023/719","url":"https://ijcai.org/proceedings/2023/719","pdf":"https://ijcai.org/proceedings/2023/0719.pdf","markdown":"https://ijcai.org/proceedings/2023/719.md","bibtex":"https://ijcai.org/proceedings/2023/bibtex/719","volume":{"slug":"2023","title":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2023","url":"https://ijcai.org/proceedings/2023/","year":2023,"location":"Macao, SAR","dates":"19-25 August 2023","editors":"Edith Elkind","isbn":"978-1-956792-03-4","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2023"},"section":"Sister Conferences Best Papers","track":"Sister Conferences Best Papers","number":719,"pages":{"first":6452,"last":6457},"keywords":["Sister Conferences Best Papers: Multidisciplinary Topics and Applications","Sister Conferences Best Papers: Data Mining"],"videos":[],"references":[{"position":1,"raw":"[Ajmone Marsan et al., 1995] Marco Ajmone Marsan, Gian- franco Balbo, Gianni Conte, Susanna Donatelli, and Giu- liana Franceschinis. Modelling with Generalized Stochas- tic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons, 1995.","title":"Modelling with Generalized Stochastic Petri Nets","authors":"Ajmone Marsan","year":"1995","venue":"Wiley Series in Parallel Computing","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Ajmone Marsan, 1988] Marco Ajmone Marsan. Stochas- tic petri nets: an elementary introduction. In Advances in Petri Nets 1989, volume 424 of LNCS, pages 1-29. Springer, 1988.","title":"Marco Ajmone Marsan. Stochastic petri nets: an elementary introduction","authors":"Ajmone Marsan","year":"1988","venue":"Advances in Petri Nets 1989","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Alkhammash et al., 2022] Hanan Alkhammash, Artem Polyvyanyy, Alistair Moffat, and Luciano García- Bañuelos. Entropic relevance: A mechanism for measuring stochastic process models discovered from event data. Inf. Syst., 107:101922, 2022.","title":"Entropic relevance: A mechanism for measuring stochastic process models discovered from event data","authors":"Hanan Alkhammash, Artem Polyvyanyy, Alistair Moffat, Luciano García-Bañuelos","year":"2022","venue":"Inf. Syst","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Alman et al., 2022] Anti Alman, Fabrizio Maria Maggi, Marco Montali, and Rafael Peñaloza. Probabilistic declar- ative process mining. Inf. Syst., 109:102033, 2022.","title":"Probabilistic declarative process mining","authors":"Alman","year":"2022","venue":"Inf. Syst","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Baier and Katoen, 2008] Christel Baier and Joost-Pieter Katoen. Principles of model checking. MIT Press, 2008.","title":"Principles of model checking","authors":"Christel Baier, Joost-Pieter Katoen","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bergami et al., 2021a] Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, and Rafael Peñaloza. Probabilistic trace alignment. In ICPM, pages 9-16. IEEE, 2021.","title":"Probabilistic trace alignment","authors":"Bergami","year":"2021","venue":"ICPM","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Bergami et al., 2021b] Giacomo Bergami, Fabrizio Maria Maggi, Marco Montali, and Rafael Peñaloza. A tool for probabilistic trace alignments. In CAiSE Forum. Springer, 2021.","title":"A tool for probabilistic trace alignments","authors":"Bergami","year":"2021","venue":"CAiSE Forum","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Bruni et al., 2019] Roberto Bruni, Hernán C. Melgratti, and Ugo Montanari. Concurrency and probability: Removing confusion, compositionally. Log. Methods Comput. Sci., 15(4), 2019.","title":"Concurrency and probability: Removing confusion, compositionally","authors":"Roberto Bruni, C Hernán, Ugo Melgratti, Montanari","year":"2019","venue":"Log. Methods Comput. Sci","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Burke et al., 2020] Adam Burke, Sander J. J. Leemans, and Moe T. Wynn. Stochastic process discovery by weight es- timation. In PQMI, 10 2020.","title":"Stochastic process discovery by weight estimation","authors":"Adam Burke, J J Sander, Moe T Leemans, Wynn","year":"2020","venue":"PQMI","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Burke et al., 2021] Adam Burke, Sander J. J. Leemans, and Moe Thandar Wynn. Discovering stochastic process mod- els by reduction and abstraction. In Application and The- ory of Petri Nets and Concurrency, volume 12734 of Lec- ture Notes in Computer Science, pages 312-336. Springer, 2021.","title":"Discovering stochastic process models by reduction and abstraction","authors":"Adam Burke, J J Sander, Moe Leemans, Wynn Thandar","year":"2021","venue":"Application and Theory of Petri Nets and Concurrency","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Burke et al., 2022] Adam Burke, Sander J. J. Leemans, Moe Thandar Wynn, Wil M. P. van der Aalst, and Arthur H. M. ter Hofstede. Stochastic process model-log quality dimensions: An experimental study. In Proceedings of the 4th International Conference on Process Mining, (ICPM 2022), pages 80-87. IEEE, 2022. [Bustan et al., 2004]","title":"Stochastic process model-log quality dimensions: An experimental study","authors":"Adam Burke, J J Sander, Moe Leemans, Thandar Wynn, M P Wil, Arthur H M Van Der Aalst, Hofstede","year":"2004","venue":"Proceedings of the 4th International Conference on Process Mining","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"Doron Bustan, Sasha Rubin, and Moshe Y. Vardi. Verifying omega-regular properties of markov chains. In Proceedings of the 16th International Conference on Computer Aided Verification, volume 3114 of Lecture Notes in Computer Science, pages 189-201. Springer, 2004.","title":"Verifying omega-regular properties of markov chains","authors":"Doron Bustan, Sasha Rubin, Moshe Y Vardi","year":"2004","venue":"Proceedings of the 16th International Conference on Computer Aided Verification","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Chiola et al., 1993] Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, and Gianni Conte. General- ized stochastic Petri nets: A definition at the net level and its implications. IEEE Trans. on soft. eng., 19(2):89-107, 1993.","title":"Generalized stochastic Petri nets: A definition at the net level and its implications","authors":"Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte","year":"1993","venue":"IEEE Trans. on soft. eng","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[De Giacomo and Vardi, 2013a] Giuseppe De Giacomo and Moshe Y. Vardi. Linear temporal logic and linear dynamic logic on finite traces. In Proceedings of the 23rd Inter- national Joint Conference on Artificial Intelligence (IJCAI 2013), pages 854-860. IJCAI/AAAI, 2013.","title":"Linear temporal logic and linear dynamic logic on finite traces","authors":"De Giacomo, Giuseppe De Vardi, Moshe Y Giacomo, Vardi","year":"2013","venue":"Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013)","doi":null,"url":null,"internal_url":"/proceedings/2013/132"},{"position":15,"raw":"[De Giacomo and Vardi, 2013b] Giuseppe De Giacomo and Moshe Y. Vardi. Linear temporal logic and linear dynamic logic on finite traces. In Proceedings IJCAI. AAAI Press, 2013.","title":"Linear temporal logic and linear dynamic logic on finite traces","authors":"De Giacomo, Giuseppe De Vardi, Moshe Y Giacomo, Vardi","year":"2013","venue":"Proceedings IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2013/132"},{"position":16,"raw":"[De Giacomo et al., 2014] Giuseppe De Giacomo, Riccardo De Masellis, and Marco Montali. Reasoning on LTL on fi- nite traces: Insensitivity to infiniteness. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelli- gence (AAAI 2014), pages 1027-1033. AAAI Press, 2014.","title":"Reasoning on LTL on finite traces: Insensitivity to infiniteness","authors":"Giuseppe De, Giacomo, Riccardo De Masellis, Marco Montali","year":"2014","venue":"Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014)","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[De Giacomo et al., 2022] Giuseppe De Giacomo, Riccardo De Masellis, Fabrizio Maria Maggi, and Marco Montali. Monitoring constraints and metaconstraints with temporal logics on finite traces. ACM TOSEM, 2022.","title":"Monitoring constraints and metaconstraints with temporal logics on finite traces","authors":"Giuseppe De, Giacomo, Riccardo De Masellis, Maria Fabrizio, Marco Maggi, Montali","year":"2022","venue":"ACM TOSEM","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Durrett, 2012] Richard Durrett. Essentials of Stochastic Processes -2nd Edition. Springer, 2012.","title":"Essentials of Stochastic Processes -2nd Edition","authors":"Richard Durrett","year":"2012","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Fewster, 2008] Rachel Fewster. Stochastic Processes. Course Notes Stas 325. University of Auckland, 2008.","title":"Stochastic Processes","authors":"Rachel Fewster","year":"2008","venue":"Course Notes Stas","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Grinstead and Snell, 1997] Charles Miller Grinstead and J. Laurie Snell. Introduction to Probability. American Mathematical Society, 2nd edition, 1997.","title":"Introduction to Probability","authors":"Charles Miller, Grinstead, J, Laurie Snell","year":"1997","venue":null,"doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Hanneforth and De La Higuera, 2010] Thomas Hanneforth and Colin De La Higuera. Epsilon-removal by loop re- duction for finite-state automata over complete semirings. Studia Grammatica, 72:297-312, 2010.","title":"Thomas Hanneforth and Colin De La Higuera. Epsilon-removal by loop reduction for finite-state automata over complete semirings","authors":"De Hanneforth, Higuera La","year":"2010","venue":"Studia Grammatica","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Leemans and Polyvyanyy, 2020] Sander J. J. Leemans and Artem Polyvyanyy. Stochastic-aware conformance check- ing: An entropy-based approach. In Advanced Information Systems Engineering, pages 217-233. Springer, 2020.","title":"Stochastic-aware conformance checking: An entropy-based approach","authors":"J J Sander, Artem Leemans, Polyvyanyy","year":"2020","venue":"Advanced Information Systems Engineering","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Leemans et al., 2019] Sander J. J. Leemans, Anja F. Syring, and Wil M. P. van der Aalst. Earth movers' stochastic con- formance checking. In Proceedings of the BPM Forum, volume 360, pages 127-143, 2019.","title":"Earth movers' stochastic conformance checking","authors":"J J Sander, Anja F Leemans, Syring, M P Wil, Van Der Aalst","year":"2019","venue":"Proceedings of the BPM Forum","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Leemans et al., 2021] Sander J. J. Leemans, Wil M. P. van der Aalst, Tobias Brockhoff, and Artem Polyvyanyy. Stochastic process mining: Earth movers' stochastic con- formance. Inf. Syst., 102:101724, 2021.","title":"Stochastic process mining: Earth movers' stochastic conformance","authors":"J J Sander, Leemans, M P Wil, Tobias Van Der Aalst, Artem Brockhoff, Polyvyanyy","year":"2021","venue":"Inf. Syst","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Leemans et al., 2022] Sander J. J. Leemans, Fabrizio Maria Maggi, and Marco Montali. Reasoning on labelled petri nets and their dynamics in a stochastic setting. In BPM, volume 13420 of LNCS, pages 324-342. Springer, 2022.","title":"Reasoning on labelled petri nets and their dynamics in a stochastic setting","authors":"J J Sander, Leemans, Maria Fabrizio, Marco Maggi, Montali","year":"2022","venue":"BPM","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Leemans et al., 2023] Sander J. J. Leemans, Fabrizio M. Maggi, and Marco Montali. Enjoy the silence: Analysis of stochastic petri nets with silent transitions. In cs.LO 2306.06376. arXiv, 2023.","title":"Enjoy the silence: Analysis of stochastic petri nets with silent transitions","authors":"J J Sander, Leemans, M Fabrizio, Marco Maggi, Montali","year":"2023","venue":null,"doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Marsan et al., 1984] Marco Ajmone Marsan, Gianni Conte, and Gianfranco Balbo. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM TOCS, 2(2):93-122, 1984.","title":"A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems","authors":"Gianni Marco Ajmone Marsan, Gianfranco Conte, Balbo","year":"1984","venue":"ACM TOCS","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Molloy, 1982] Michael Karl Molloy. Performance analysis using stochastic petri nets. IEEE Transactions on Comput- ers, 31:913-917, 1982.","title":"Performance analysis using stochastic petri nets","authors":"Karl Michael, Molloy","year":"1982","venue":"IEEE Transactions on Computers","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Rogge-Solti et al., 2013] Andreas Rogge-Solti, Wil M. P. van der Aalst, and Mathias Weske. Discovering stochas- tic Petri nets with arbitrary delay distributions from event logs. In BPMW13, pages 15-27, 2013.","title":"Discovering stochastic Petri nets with arbitrary delay distributions from event logs","authors":"Andreas Rogge-Solti, M P Wil, Mathias Van Der Aalst, Weske","year":"2013","venue":"BPMW","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[van der Aalst, 2016] Wil M. P. van der Aalst. Process Min- ing -Data Science in Action, Second Edition. Springer, 2016.","title":"Process Mining -Data Science in Action","authors":"M P Wil, Van Der Aalst","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}