Throughput Bounds for Generalized Stochastic Petri Net Models