An introduction to generalized stochastic Petri nets | Publicación