Saturation Conditions For Stochastic Petri Nets. - R. Gouet; F. Plo; M. San Miguel; Bernard Ycart (Applications and Theory of Petri Nets, 1991)