Verification of Energy Efficient Optimized Link State Routing Protocol Using Petri Net
Self-organizing ad hoc networks need development of efficient routing protocols in terms of reliable routing and energy conservation. For dense ad hoc networks, Optimized Link State Routing (OLSR) protocol is suitable due to its MultiPoint Relaying (MPR) feature. The authors have tried to make the OLSR energy efficient by making effective neighbor selection based on residual battery energy of a node and traffic conditions that influence the drain rate of the node in the network. They have considered the multipath and source routing concept for route selection and a route recovery technique to tackle mobility issue efficiently.