Dynamic Modeling of Routing Protocols Using Colored Petri Net

Abstract

The growth of interest and research on mobile ad-hoc networks is exponentially in recent years. In a Mobile Ad hoc NETwork (MANET), Nodes are mobile in nature, so the node movement in the dynamic environment causes frequent topology changes to the network. In this paper, we are going to model the AODV (Ad hoc On-demand Distance Vector) routing protocol and analyse the STATE SPACE diagram of AODV routing protocol using CPN TOOL to detect the problems in routing protocol and resolve the issues before implementation. Modelling in CPN tools require predefined input values to be incorporated in the states which are used to detect the neighbours and track the path from one node to another node on the network. In this model, we assume all nodes have sufficient energy. State space diagram helps to identify the loops, path breaks and dead nodes in the network. In this paper we done dynamic modelling of AODV routing protocol using cpn with the help of NS2 and MATLab. In this process we chosen a trace file from ns2 convert it into cpn input format with the help of MATLab.