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.