1. Ajmone Marsan, M.: Stochastic Petri nets: an elementary introduction. In: Rozenberg, G. (ed.) Advances in Petri Nets. Lecture Notes in Computer Science, vol. 424, pp. 1–29. Springer, Berlin/New York (1989)
2. Ajmone Marsan, M., Balbo, G., Chiola, G., Conte, G.: Generalized stochastic Petri nets revisited: random switches and priorities. In: Proceedings of the International Workshop on Petri Nets and Performance Models, pp. 44–53. IEEE-CS Press, Los Alamitos (1987)
3. Ajmone Marsan, M., Balbo, G., Conte, G.: A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Trans. Comput. Syst. 2(1), 93–122 (1984)
4. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley (1995). Available online at
http://www.di.unito.it/~greatspn/GSPN-Wiley/
5. Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev. 36(4), 4–9 (2009)