Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN
Joint Authors
Khan, Sher Afzal
Akhtar Khan, Naeem
Ahmad, Farooq
Source
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-9, 9 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-08-31
Country of Publication
Egypt
No. of Pages
9
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Akhtar Khan, Naeem& Ahmad, Farooq& Khan, Sher Afzal. 2014. Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN. Abstract and Applied Analysis،Vol. 2014, no. 2014, pp.1-9.
https://search.emarefa.net/detail/BIM-1014808
Modern Language Association (MLA)
Akhtar Khan, Naeem…[et al.]. Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN. Abstract and Applied Analysis No. 2014 (2014), pp.1-9.
https://search.emarefa.net/detail/BIM-1014808
American Medical Association (AMA)
Akhtar Khan, Naeem& Ahmad, Farooq& Khan, Sher Afzal. Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN. Abstract and Applied Analysis. 2014. Vol. 2014, no. 2014, pp.1-9.
https://search.emarefa.net/detail/BIM-1014808
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1014808