A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol.

María E. Villapol Jonathan Billington A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol. 2003 6 CLEI Electron. J. 1 http://www.clei.cl/cleiej/paper.php?id=74 db/journals/cleiej/cleiej6.html#VillapolB03