Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract)
Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali · 2023
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.