An Introduction to Generalized Stochastic Petri Nets