From UML activity diagrams to Stochastic Petri nets | Publicación