Fast Bounds for Stochastic Petri Nets