Work

Enjoy the Silence, Part II: Probability-Based Queries on Stochastic Labelled Petri Nets