1. The Programming Language Ada: Reference Manual, Volume 155 of Lecture Notes in Computer Science, Springer, Berlin, 1983.
2. Open, closed, and mixed networks of queues with different classes of customers;Baskett;J. ACM,1975
3. Linearizer: A heuristic algorithm for queueing network models of computing systems;Chandy;Comm. ACM,1982
4. The V distributed system;Cheriton;Comm. ACM,1988
5. G. Chiola, A graphical Petri net tool for performance analysis, in: S. Fdida, G. Pujolle (Eds.), Modelling Techniques and Performance Evaluation, Elsevier, Amsterdam, 1987.