A Wireless Ad Hoc Overlay Networks Indexing Mechanism Based on Petri Nets Theory

To solve the collaboration issues between wireless Ad Hoc networks and Overlay Network, an Ad Hoc overlay network model was presented and a Key-based Indexing Mechanism (KIM) was proposed accordingly, based on the distributed algorithm of Overlay Network and mobile node local routing algorithm. The mechanism combines protocol of Overlay Network in Logical namespace with routing protocol of mobile Ad Hoc networks to be adapted to the dynamic changes of mobile node and network topology according to the network conditions and nodes' state. The correctness and completeness of KIM were proven and analyzed on the basis of the Petri Nets theory. It is shown that the mechanism can make extendable, high-efficiency node lookup, locate position and communication even without extra expenses in dynamic wireless Ad Hoc network environment.