On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets