Abstract
The wireless mesh network (WMN) is an emerging and cost-effective alternative paradigm for the next generation wireless networks in many diverse applications. In the performance evaluation of routing protocol for the WMN, it is essential that it should be evaluated under realistic conditions. The usefulness of specific mobility protocol can be determined by selection of mobility model. This paper introduces a coloured Petri nets (CP-nets) based formal model for implementation, simulation, and analysis of most widely used random waypoint (RWP) mobility model for WMNs. The formal semantics of hierarchical timed CP-nets allow us to investigate the terminating behavior of the transitions using state space analysis techniques. The proposed implementation improves the RWP mobility model by removing the “border effect” and resolves the “speed decay” problem.
Highlights
The wireless mesh network [1] is a communication network, which is a relatively new technology that has the potential to organize and configure them dynamically
The results showed that topology approximation (TA) mechanism can mimic the dynamic changes of network topology
The model is more appropriate for generating different mobility patterns; these patterns can further be used for analyzing the performance of routing protocols and mobility management in wireless communication networks
Summary
The wireless mesh network [1] is a communication network, which is a relatively new technology that has the potential to organize and configure them dynamically. The node mobility is key research paradigm in WMNs. Simulation is traditional tool for evaluating performance of networks but literature reflects that in some cases simulators generate unrealistic results which are not according to the specifications of the model. Many research results concluded this limitation of RWP mobility model for its implementation in wireless networks [3, 4]. Coloured Petri nets (CP-nets) [7, 8] are formal methods suitable for specification, modeling, and verification of systems and applied for analysis of various communication protocols [9]. Two-dimensional 100 × 100 m2 terrains are constructed for random waypoint (RWP) mobility model, a benchmark, and the most utilized model in performance analysis for wireless networks.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
