Table of Contents Author Guidelines Submit a Manuscript
Abstract and Applied Analysis
Volume 2014, Article ID 798927, 9 pages
http://dx.doi.org/10.1155/2014/798927
Research Article

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

1Faculty of Information Technology, University of Central Punjab, Lahore, Pakistan
2Department of Computer Science, Abdul Wali Khan University, Mardan, Pakistan

Received 7 May 2014; Accepted 16 July 2014; Published 31 August 2014

Academic Editor: Saeed Islam

Copyright © 2014 Naeem Akhtar Khan et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Naeem Akhtar Khan, Farooq Ahmad, and Sher Afzal Khan, “Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN,” Abstract and Applied Analysis, vol. 2014, Article ID 798927, 9 pages, 2014. https://doi.org/10.1155/2014/798927.