A Software Package for the Analysis of Generalized Stochastic Petri Net Models