1. Lazowska, E.D., et al.: Quantitative System Performance. Prentice-Hall, Inc. (1984)
2. Lin, C.: Stochastic Petri net and system performance evaluation. Tsinghua University Press, Beijing (2005)
3. Compare, D., et al.: Our experience in the integration of process algebra based performance validation in an industrial context. Tech. Rep. TR SAH/047, MIUR Sahara Project (2003)
4. Marsan, M.A.: On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses. In: PNPM 2001 (2001)
5. Lecture Notes in Computer Science;G. Denaro,2004