Automated Construction of Compound Markov Chains from Generalized Stochastic High-level Petri Nets | Publicación