1. E.D. Lazowska, et. al. Quantitative System Performance, Prentice-Hall, Inc. 1984.
2. Lin C. Stochastic Petri net and system performance evaluation. BeiJing: Tsinghua university press, 2005.4.
3. D. Compare, 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, Oct. 2003.
4. M.A. Marsan. On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses (PNPM’01), September 2001.
5. J. Kurt. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Berlin, Germany: Springer–Verlag. 1997.