Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN

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 us...

Full description

Saved in:
Bibliographic Details
Main Authors: Naeem Akhtar Khan, Farooq Ahmad, Sher Afzal Khan
Format: Article
Language:English
Published: Wiley 2014-01-01
Series:Abstract and Applied Analysis
Online Access:http://dx.doi.org/10.1155/2014/798927
Tags: Add Tag
No Tags, Be the first to tag this record!