1. Billington J., Diaz M. and Rozenberg G. (eds), Application of Petri nets to Communication Networks, Advances in Petri Nets, LNCS, Vol. 1605, 1999.
2. Braden R., et al. Resource Reservation Protocol (RSVP) — Version 1: Functional Specification. RFC 2205, IETF, September, 1997.
3. Cheng A. and Christensen S. and Mortensen K. Model Checking Coloured Petri Nets Exploiting Strongly Connected Components, in Proc. Of the International Workshop on Discrete Event Systems, Institute of Electrical Engineers, University of Edinburgh, UK, August 1996, pp 169–177.
4. Lect Notes Comput Sci;S. Creese,1999
5. Durham D. and Yavatkar R. Inside the Internet’s Resource Reservation Protocol. Wiley, USA, 1999.