Title :
CPN validation of neighbor detection protocol for ad hoc networks
Author :
Chinara, Suchismita ; Rath, Santanu Kumar
Author_Institution :
Dept. of Comput. Sci. & Eng., Nat. Inst. of Technol., Rourkela, India
Abstract :
The use of wireless ad hoc networks have reached to every corners of the world. The random deployment of the nodes and their mobility demands to track the nodes position with respect to their neighbors so that packet routing could be made efficiently. The paper proposes a neighbor detection protocol that helps the Ad hoc nodes to find their immediate neighbors in the network. The same has been validated through the coloured petri nets by simulation.
Keywords :
Petri nets; ad hoc networks; protocols; telecommunication network routing; coloured Petri net validation; immediate neighbors; neighbor detection protocol; nodes position; packet routing; random deployment; wireless ad hoc networks; Availability; Data models; Mobile ad hoc networks; Network topology; Petri nets; Protocols; Ad hoc network; colour petri nets; modeling; neighbor detection;
Conference_Titel :
Information, Communications and Signal Processing (ICICS) 2011 8th International Conference on
Conference_Location :
Singapore
Print_ISBN :
978-1-4577-0029-3
DOI :
10.1109/ICICS.2011.6174318
