Stochastic Petri nets simplification with singular perturbations | IEEE Conference Publication | IEEE Xplore