Formal model of Random Walk mobility model for WMN using Coloured Petri Nets

The Wireless Mesh Networks (WMNs) has progressed by leaps and bounds and gained worldwide attention in recent years. Since WMN have not yet been deployed on large scale, so mostly research is on simulation based studies. The validation of routing protocol and finding subtle errors relies almost exclusively on underlying mobility model. Simulators are universally used to develop and evaluate the correctness of mobility models, but literature reflects they fail to accurately represent real-world network characteristics. The growing maturity, cost-effective and very low defect rate caused the prevalence of formal modeling in this research field. This paper presents first time Coloured Petri Nets (CP-nets) based formal model for implementation, simulation and analysis of well-known Random Walk mobility model for WMN, without border effect and speed decay problems. Capturing dynamic mobility patterns through CPN is most challenging and virulent activity. The essence to state space is that all possible behaviours of the model can be carefully monitored and rectified accordingly. To elucidate the performance of mobility model statistical analysis are presented.