Sander J.J. Leemans

Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended 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.