1. Ajmone Marsan, M., Balbo, G., Conte, G.: Performance Models of Multiprocessor Systems. The MIT Press, Cambridge, 1986.
2. Ajmone Marsan, M., Balbo, G., Conte, G.: Performance Models of Multiprocessor Systems. The MIT Press, Cambridge, 1986.
3. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, New York, 1995.
4. Arnold, A.: Finite Transition Systems. Prentice-Hall, New York, 1994.
5. Baar, A., Cohen, P.R., Feigenbaum, E.A.: The Handbook of Artificial Intelligence 4 Addison-Wesley, Reading, 1989.