Mobile ad hoc networking is a technology which works without requiring an already established infrastructure and centralized administration and provides for the cooperative engagement of a group of mobile nodes. In a mobile ad hoc network, each node can function as router and thus mobile nodes directly send messages to each other via wireless to a destination node beyond its transmission range by using other nodes as relay points. In recent years, research on mobile ad-hoc network is growing exponentially. In mobile ad-hoc network, abbreviated as MANET, transmission can be takes place without any use of wires. In this network, nodes are mobile and free to move in any directions. They send their messages to any other mobile nodes in the network. One of the protocol of MANET is AODV (Ad-hoc On demand Distance Vector) Routing Protocol. The main problem in this network is that the nodes in this network is frequently moving thereby the topology is changing frequently in MANET. 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. This is done by modeling the AODV routing protocol. In this paper, the network is modeled by using the Colored Petri Nets(CPN). CPN is the high level petri net that has the capacity of formally modeling and verifying complex system.

AODV, Colored petri net tool, Mobile Ad-hoc Network, routing protocol, TPN

[1] Ye Wint Maung Maung, Aung Aung Hein. Colored Petri Nets (CPN) based model for Web Services composition. International journal for computer and communication engineering research (IJCCER), vol 2, issue 5, sep 2015.
[2] Richa Agarwal, Ashish Jain. A Review Paper on Colored Petri Nets and their application in Protocol Verification. International Journal of Research in Computer and Communication Technology, Vol 2, Issue 8, August -2013.
[3] Alessandro Bianchi, Sebastiano Pizzutilo. A Coloured Nested Petri Nets Model for Discussing MANET Properties. International Journal of Multimedia Technology Jun. 2013, Vol. 3 Iss. 2, PP. 38-44.
[4] Jatinder Pal Singh, Anuj Kr. Gupta. A Review on Dynamic MANET On Demand Routing Protocol in MANETs. Volume 2, No.2, March - April 2013 International Journal of Advanced Trends in Computer Science and Engineering.
[5] Lakshmi P.S., Pasha Sajid and Ramana M.V. Security and Energy efficiency in Ad Hoc Networks. Research Journal of Computer and Information Technology Sciences Vol. 1(1), 14-17, February (2013).
[6] Agrahari S., and S. Chinara. Simulation of Random Waypoint Mobility Model Using Coloured Petri Nets. In ICCTS, 18th 19th August, New Delhi, 2012.
[7] Simaremare, Harris. Energy consumption analysis of modified AODV routing protocol under random waypoint and reference point group mobility models. Advanced Computer Science and Information Systems (ICACSIS), 2012 International Conference on IEEE, 2012.
[8] Shabestar Branch, Islamic Azad University, Validation of Ad hoc On- demand Multipath Distance Vector Using Colored Petri Nets. Iran. 2011 International Conference on Computer and Software Modeling IPCSIT vol.14 (2011) © (2011) IACSIT Press, Singapore.
[9] Hadjidj, Rachid, and Hanifa Boucheneb. Efficient reachability analysis for time Petri nets. Computers, IEEE Transactions on 60.8 (2011): 1085- 1099.
[10] Suchismita Chinara, Santanu Kumar Rath. CPN validation of neighbor detection protocol for ad-hoc networks. In 8th International conference on information, communication and signal processing, 2011.
[11] Ali Nakhaee, Ali Harounabadi, Javad Mirabedini. A Novel Communication Model to Improve Mobile Ad hoc Network Routing Reliability. In Application of Information and Communication Technologies (AICT), 5th International Conference on 2011, Page(s): 1 - 7.
[12] Ali Nakhaee, Ali Harounabadi, javad Mirabedini. A Novel Communication Model to Improve AODV Protocol Routing Reliability. Application of Information and Communication Technologies (AICT), 2011 5th International Conference on 2011, Page(s): 1- 7
[13] Hanifa Boucheneb and Rachid Hadjidj. Model Checking of Time Petri Nets (2009).
[14] K. Jensen and L.M. Kristensen . Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, ISBN: 978-3-642-00283-0, 2009.
[15] Lisa Wells. Performance Analysis using CPN Tools. Department of Computer Science, University of Aarhus. Aabogade 34, 8200 Aarhus N, Denmark