Implementing compositionality for stochastic Petri nets | Publicación