Analysis of the Generalized Stochastic Petri Nets by State Aggregation