A Massively Parallel Approach to the Analysis of Generalized Stochastic Petri Nets