Sethy, Suchismita (2017) Analysis and Validation of AODV Routing Protocol Using Timed Colored Petri Net. MTech thesis.