1 |
I. F.Akyildiz, X.Wang, W.Wang, "Wireless mesh networks: a survey," Tech. rep., Georgia Institute of Technology, Computer Networks, Volume 47, Issue 4, pp 445-487, March 2005. Article (CrossRef Link).
|
2 |
Y. Chaba and N. K. Medishetti, "Routing protocols in Mobile Ah hoc Network-A Simulation Study Final," JCS Vol1, No.1, August 2005.
|
3 |
P.Stephane, T.Joanna,V.Veronique, "A Composite Mobility Model for Ad Hoc Networks in Disaster Areas," REV Journal on Electronics and Communications, Vol.1 No.1,pp 62-68, March 2011.
|
4 |
N. Aschenbruck, A. Munjal and T. Camp, "Trace-based mobility modeling for multi-hop wireless networks," Computer Communications, vol. 34, pp. 704-714, 2011. Article (CrossRef Link).
DOI
|
5 |
E. M. Clarke and J.M Wing, "Formal Methods: State of the Art and Future Directions," ACM Computing Surveys, 28(4), pp 626-643, December 1996.
DOI
|
6 |
K. Jensen, "Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use," Vol 1-3. Monographs in Theoretical Computer Science. Springer-Verlag, 1997. Article (CrossRef Link).
|
7 |
L.M. Kristensen, S. Christensen, and K. Jensen, "The Practitioner's Guide to Coloured Petri Nets," International Journal on Software Tools for Technology Transfer, 2(2), Springer-Verlag, pp 98-132, 1998.
DOI
|
8 |
J. Billington, M. Diaz, and G. Rozenberg, editors, "Application of Petri Nets to Communication Networks," Advances in Petri Nets, Volume 1605, Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1999. Article (CrossRef Link).
|
9 |
W. Reisig and G. Rozenberg, editors, "Lectures on Petri Nets: Advances in Petri Nets," Volume I: Basic Models, Volume 1491, Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1998. Article (CrossRef Link).
|
10 |
J. D. Ullman. "Elements of ML Programming". Prentice-Hall, 1998.
|
11 |
Mitsche, D., Resta, G., & Santi, P., "The random waypoint mobility model with uniform node spatial distribution," Wireless Networks, Vol. 20, 1053-1066, 2014. Article (CrossRef Link).
DOI
|
12 |
Camp, T., Boleng, J., &Davies, V., "A survey of mobility models for ad hoc network research," Wireless communications and mobile computing, 2(5), 483-502, 2002. Article (CrossRef Link).
DOI
|
13 |
CPN Tools: www.daimi.au.dk/CPNtools.
|
14 |
E. M. Royer, P. M. Melliar-Smith, and L. E. Moser, "An analysis of the optimum node density for ad hoc mobile networks," in Proc. of the IEEE International Conference on Communications, June 2001. Article (CrossRef Link).
|
15 |
S. Agrahari and S.Chinara, "Simulation of Random Waypoint Mobility Model Using Colored Petri Nets," in Proc. of on the Second International Conference on Computer Science, Engineering and Applications (CCSEA-2012), pages 65-75, 2012.
|
16 |
Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen,"Application of Coloured Petri Nets in System Development," Lectures 626-685, 2003.
|
17 |
Xiong C., Murata T., Tsai j., "Modeling and Simulation of Routing Protocols for Mobile Ad Hoc Networks Using Colored Petri Nets," in Proc. of Conferences in Research and Practice in Information Technology, Vol12, 2002.
|
18 |
N.A.Khan, F.Ahmad, and W.A.Baig, "Formal Model of Random Walk Mobility Model for WMN using Coloured Petri Nets," in Proc. of 11th International Bhurban Conference on Applied Sciences & Technology (IBCAST), pp. 436-444, 2014. Article (CrossRef Link).
|
19 |
NA Khan, F. Ahmad, and SA 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.
|
20 |
Khan, NA, Ahmad, F., & Khan, SA., "Coloured Petri Net Modeling and Analysis for Community based Wireless Mesh Networks," in Proc. of the IEEE International Conference on Systems, Man and Cybernetics (SMC), 2014, pp 139 - 144, San Diego, CA, USA, 5-8 Oct. 2014. Article (CrossRef Link).
|
21 |
Khan NA, Ahmad F, Khan SA., "SHER: A Colored Petri Net Based Random Mobility Model for Wireless Communications," PLoS ONE 10(8):e0133634.doi: 10.1371/journal.pone.0133634, August, 2015. Article (CrossRef Link).
DOI
|
22 |
A. Borhani and M. Patzold, "A highly flexible trajectory model based on the primitives of Brownian fields—part I: Fundamental principles and implementation aspects," IEEE Trans. Wireless Commun., vol. 14, no. 2, pp. 770-780, Feb. 2015. Article (CrossRef Link).
DOI
|
23 |
Khan NA and Ahmad F., "Modeling and simulation of an improved random direction mobility model for wireless networks using colored Petri nets," Simulation: Transactions of the Society for Modeling and Simulation International 2016, Vol. 92(4) pp 323-336, April 2016. Article (CrossRef Link).
DOI
|
24 |
A. Borhani and M. Patzold, "A highly flexible trajectory model based on the primitives of Brownian fields—part II: Analysis of the statistical properties," IEEE Trans. Wireless Commun., vol. 15, no. 1, pp. 247-257, Jan. 2016. Article (CrossRef Link).
DOI
|