• KSII Transactions on Internet and Information Systems
    Monthly Online Journal (eISSN: 1976-7277)

Hierarchical Coloured Petri Net based Random Direction Mobility Model for Wireless Communications


Abstract

Most of the research in the area of wireless communications exclusively relies on simulations. Further, it is essential that the mobility management strategies and routing protocols should be validated under realistic conditions. Most appropriate mobility models play a pivotal role to determine, whether there is any subtle error or flaw in a proposed model. Simulators are the standard tool to evaluate the performance of mobility models however sometimes they suffer from numerous documented problems. To accomplish the widely acknowledged lack of formalization in this domain, a Coloured Petri nets (CPNs) based random direction mobility model for specification, analysis and validation is presented in this paper for wireless communications. The proposed model does not suffer from any border effect or speed decay issues. It is important to mention that capturing the mobility patterns through CPN is challenging task in this type of the research. Further, an appropriate formalism of CPNs supported to analyze the future system dynamic status. Finally the formal model is evaluated with the state space analysis to show how predefined behavioral properties can be applied. In addition, proposed model is evaluated based on generated simulations to track origins of errors during debugging.


Statistics

Show / Hide Statistics

Statistics (Cumulative Counts from December 1st, 2015)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article

[IEEE Style]
Naeem Akhtar Khan, Farooq Ahmad, Syed Asad Hussain and Mudasser Naseer, "Hierarchical Coloured Petri Net based Random Direction Mobility Model for Wireless Communications," KSII Transactions on Internet and Information Systems, vol. 10, no. 8, pp. 3656-3671, 2016. DOI: 10.3837/tiis.2016.08.013

[ACM Style]
Khan, N. A., Ahmad, F., Hussain, S. A., and Naseer, M. 2016. Hierarchical Coloured Petri Net based Random Direction Mobility Model for Wireless Communications. KSII Transactions on Internet and Information Systems, 10, 8, (2016), 3656-3671. DOI: 10.3837/tiis.2016.08.013