Prasad, P and Singh, B and Sahoo, A K (2010) Validation of Routing Protocol for Mobile Ad Hoc Networks using Colored PetriNets. BTech thesis.
