Please use this identifier to cite or link to this item:
Title: Modelling of AODV Routing Protocol using Timed Coloured Petri Nets
Authors: Sethy, Suchismita
Chinaara, Suchismita
Keywords: AODV Protocol
Wireless Network
Timed CPNs
End-to-End delay
Topology Introduction
Issue Date: Mar-2018
Citation: 12th INDIACom and 5th International Conference on Computing for Sustainable Global Development, New Delhi, India, 14 - 16 March, 2018
Abstract: Due to the nondeterministic nature of concurrent systems it is very challenging to design and develop the system. The most feasible way to handle the unavoidable and undetected errors of constructing any concurrent system is to build a model of that system before its actual development. Among various modelling technique, Petri net model has been proved to be a best technique for modelling and validating concurrent systems. One major application area of Petri nets is modelling routing protocols which ensures that it is unambiguous and functionality correct. In this paper Timed CPN is used to model and validate the process of Adhoc On-Demand Distance vector (AODV) routing protocol in the concurrent environment. AODV protocol is modelled in which an efficient packet transmission is done in the network with the node movement and frequent topology changes. Aimed to detect and maintain the routes in the dynamic environment and validate the key properties of AODV protocol.
Description: Copyright of this document belongs to proceedings publisher.
Appears in Collections:Conference Papers

Files in This Item:
File Description SizeFormat 
2018_INDIACom_SSethy_Modelling.pdfConference Paper950.83 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.