On state space decomposition for the numerical analysis of stochastic Petri nets | Publicación