Automated construction of compound Markov chains from generalized stochastic high-level Petri nets | Publicación