Saturation conditions for Stochastic Petri Nets | Publicación