N. Khan

SHER: A Colored Petri Net Based Random Mobility Model for Wireless Communications

F. Ahmad, S. Khan, N. Khan, 2015, PloS one.

Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets

F. Ahmad, S. Hussain, A. Sadiq, 2016, Neural Computing and Applications.

Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets

Syed Asad Hussain, Farooq Ahmad, Ayesha Sadiq, 2016, Neural Computing and Applications.

Modeling and simulation of an improved random direction mobility model for wireless networks using colored Petri nets

Farooq Ahmad, Naeem Akhtar Khan, F. Ahmad, 2016, Simul..

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

Farooq Ahmad, Sher Afzal Khan, F. Ahmad, 2014 .

Formal Modeling, Simulation and Verification of Wireless Mesh Networks by Using Coloured Petri Nets

Naeem Akhtar Khan, N. Khan, 2018 .

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

Syed Asad Hussain, Farooq Ahmad, Naeem Akhtar Khan, 2016, KSII Trans. Internet Inf. Syst..

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

F. Ahmad, W. A. Baig, N. A. Khan, 2014, Proceedings of 2014 11th International Bhurban Conference on Applied Sciences & Technology (IBCAST) Islamabad, Pakistan, 14th - 18th January, 2014.