1. M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems, 2 (1), May 1984.
2. M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte. Generalized stochastic Petri nets revisited: random switches and priorities. In Proc. Int. Workshop on Petri Nets and Performance Models, pages 44–53, IEEE-CS Press, Madison, WI, USA, August 1987.
3. J. A. Carrasco. Automated construction of compound Markov chains from generalized stochastic high-level Petri nets. In Proc. 3rd Intern. Workshop on Petri Nets and Perfor-mance Models, pages 93–102, IEEE-CS Press, Kyoto, Japan, December 1989.
4. G. Chiola, G. Bruno, and T. Demaria. Introducing a color formalism into generalized stochastic Petri nets. In Proc. 9th Europ. Workshop on Application and Theory of Petri Nets, Venezia, Italy, June 1988.
5. G. Chiola and G. Franceschinis. Colored GSPN models and automatic symmetry detection.In Proc. 3rd Intern. Workshop on Petri Nets and Performance Models,IEEE-CS Press, Kyoto, Japan, December 1989.