An approach for verifying routing protocols in mobile ad hoc networks using Petri nets

This paper presents a verification approach specific for expressing and verifying the services of routing protocols for mobile ad hoc networks (MANETs). The proposed approach performs a powerful verification on routing protocols, and is sufficient to confirm correctness of protocols when used in most situations. The case study with a routing protocol for MANETs found a flaw in the protocol, showing the effectiveness of this approach.