Stochastic Petri nets: An elementary introduction | Publicación