1. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic Petri nets. John Wiley Series in Parallel Computing, Chichester (1995)
2. Aquilani, F., Balsamo, S., Inverardi, P.: Performance analysis at the software architectural design level. Performance Evaluation 45, 147–178 (2001)
3. Bernardi, S.: Building Stochastic Petri Net models for the verification of complex software systems, Ph.D. thesis, Dipartimento di Informatica, Università di Torino (April 2003)
4. Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable Petri net models. In: Proceedings of the ThirdInternational Workshop on Software and Performance (WOSP 2002), Rome, Italy, July 2002, pp, pp. 35–45. ACM, New York (2002)
5. Lecture Notes in Computer Science;G. Berthelot,1987