Analysis and solution of Generalized Stochastic Petri Nets: A data parallel CM-5 approach