CSL Model Checking for Generalized Stochastic Petri Nets