In a Mobile Ad hoc Network(MANET), wireless transmissions can happen in such a way that mobile nodes can send messages directly to one another through wireless links. The protocols which establish their routes dynamically on demand are called reactive protocols. One of the such reactive protocols defined for MANETs is AODV (Ad hoc On-demand Distance Vector) routing protocol. Since the nodes are mobile in nature, the topology of the network does not remain constant, it keeps on changing frequently. Thus it is very much necessary for every node in the network to keep track of change so that an efficient packet transmission can be done. In this thesis, AODV is modeled using Coloured Petri nets, various performance measures like workload, number of packets sent and received, e ciency of the protocol are evaluated using monitors. The same routing protocol is again simulated using well known NS2 tool. The results of the modeled CPN are compared with NS2 simulator output. We have assumed that all the nodes have sufficient energy while participating in the routing proces.