Singampalli, Sudheer (2014) Modeling and performance analysis of AODV routing protocol using coloured petri nets. MTech thesis.