Structural techniques and performance bounds of stochastic Petri net models | Publicación