Structural performance analysis of stochastic Petri nets | Publicación