1. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
2. Balbo G. , Chiola G. , Franceschinis G. , Roet G. Molinari . On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets.Proceedings of the 2nd International Workshop on Petri Nets and Performance Models (PNPM'87)(1987) (IEEE Computer Society Press) 136 145
3. Blakemore A. The Cost of Eliminating Vanishing Markings From Generalized Stochastic Petri Nets.Proceedings of the 3rd International Workshop on Petri Nets and Performance Models (PNPM'89)(1989) (IEEE Computer Society Press) 85 92