Abstract
Interest in stochastic models for business processes has been revived in a recent series of studies on uncertainty in process models and event logs, with corresponding process mining techniques. In this context, variants of stochastic labelled Petri nets, that is with duplicate labels and silent transitions, have been employed as a reference model. Reasoning on the stochastic, finite-length behaviours induced by such nets is consequently central to solve a variety of model-driven and data-driven analysis tasks, but this is challenging due to the interplay of uncertainty and the potentially infinitely traces (including silent transitions) induced by the net. This explains why reasoning has been conducted in an approximated way, or by imposing restrictions on the model. The goal of this paper is to provide a deeper understanding of such nets, showing how reasoning can be properly conducted by leveraging solid techniques from qualitative model checking of Markov chains, paired with automata-based techniques to suitably handle silent transitions. We exploit this connection to solve three central problems: computing the probability of reaching a particular final marking; computing the probability of a trace or that a temporal property, specified as a finite-state automaton, is satisfied by the net; checking whether the net stochastically conforms to a probabilistic Declare model. The different techniques have all been implemented in a proof-of-concept prototype.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
Bergami, G., Maggi, F.M., Montali, M., Peñaloza, R.: Probabilistic trace alignment. In: ICPM, pp. 9–16. IEEE (2021)
Bergami, G., Maggi, F.M., Montali, M., Peñaloza, R.: A tool for computing probabilistic trace alignments. In: Nurcan, S., Korthaus, A. (eds.) CAiSE 2021. LNBIP, vol. 424, pp. 118–126. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-79108-7_14
Bruni, R., Melgratti, H.C., Montanari, U.: Concurrency and probability: removing confusion, compositionally. Log. Methods Comput. Sci. 15(4) (2019)
Burke, A., Leemans, S., Wynn, M.: Stochastic process discovery by weight estimation. In: PQMI (2020)
Chiola, G., Marsan, M.A., Balbo, G., Conte, G.: Generalized stochastic petri nets: a definition at the net level and its implications. IEEE Trans. Soft. Eng. 19(2), 89–107 (1993)
De Giacomo, G., De Masellis, R., Maggi, F.M., Montali, M.: Monitoring constraints and metaconstraints with temporal logics on finite traces. ACM TOSEM (2022)
De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings IJCAI. AAAI Press (2013)
Desel, J., Reisig, W.: Place/transition petri nets. In: Reisig, W., Rozenberg, G. (eds.) ACPN 1996. LNCS, vol. 1491, pp. 122–173. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-65306-6_15
van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W., Weijters, A.J.M.M., van der Aalst, W.M.P.: The ProM framework: a new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 444–454. Springer, Heidelberg (2005). https://doi.org/10.1007/11494744_25
Durrett, R.: Essentials of Stochastic Processes. STS, 2nd edn. Springer, New York (2012). https://doi.org/10.1007/978-1-4614-3615-7
Fewster, R.: Stochastic Processes. Course Notes Stas 325, University of Auckland (2008)
Hanneforth, T., De La Higuera, C.: Epsilon-removal by loop reduction for finite-state automata over complete semirings. Studia Grammatica 72, 297–312 (2010)
Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22110-1_47
Leemans, S.J.J., van der Aalst, W.M.P., Brockhoff, T., Polyvyanyy, A.: Stochastic process mining: earth movers’ stochastic conformance. Inf. Syst. 102, 101724 (2021)
Leemans, S.J.J., Polyvyanyy, A.: Stochastic-aware conformance checking: an entropy-based approach. In: Dustdar, S., Yu, E., Salinesi, C., Rieu, D., Pant, V. (eds.) CAiSE 2020. LNCS, vol. 12127, pp. 217–233. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-49435-3_14
Leemans, S.J.J., Syring, A.F., van der Aalst, W.M.P.: Earth movers’ stochastic conformance checking. In: Proceedings of the BPM Forum, vol. 360, pp. 127–143 (2019)
Maggi, F.M., Montali, M., Peñaloza, R., Alman, A.: Extending temporal business constraints with uncertainty. In: Fahland, D., Ghidini, C., Becker, J., Dumas, M. (eds.) BPM 2020. LNCS, vol. 12168, pp. 35–54. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-58666-9_3
Marsan, M.A., Conte, G., Balbo, G.: A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM TOCS 2(2), 93–122 (1984)
Molloy, M.K.: Performance analysis using stochastic petri nets. IEEE Trans. Comput. 31, 913–917 (1982)
Rogge-Solti, A., Mans, R.S., van der Aalst, W.M.P., Weske, M.: Repairing event logs using timed process models. In: Demey, Y.T., Panetto, H. (eds.) OTM 2013. LNCS, vol. 8186, pp. 705–708. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41033-8_89
Rogge-Solti, A., van der Aalst, W.M.P., Weske, M.: Discovering stochastic petri nets with arbitrary delay distributions from event logs. In: BPMW 2013, pp. 15–27 (2013)
Acknowledgement
Marco Montali is partially supported by the Italian PRIN project PINPOINT and the UNIBZ projects ADAPTERS and SMART-APP.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Leemans, S.J.J., Maggi, F.M., Montali, M. (2022). Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting. In: Di Ciccio, C., Dijkman, R., del Río Ortega, A., Rinderle-Ma, S. (eds) Business Process Management. BPM 2022. Lecture Notes in Computer Science, vol 13420. Springer, Cham. https://doi.org/10.1007/978-3-031-16103-2_22
Download citation
DOI: https://doi.org/10.1007/978-3-031-16103-2_22
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-16102-5
Online ISBN: 978-3-031-16103-2
eBook Packages: Computer ScienceComputer Science (R0)