An introduction to generalized stochastic Petri nets