Massively Parallel Analysis of Generalized Stochastic Petri Nets: a CM-5 Approach