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.

Linked References

  1. I. F. Akyildiz, X. Wang, and W. Wang, “Wireless mesh networks: a survey,” Computer Networks, vol. 47, no. 4, pp. 445–487, 2005. View at Publisher · View at Google Scholar · View at Scopus
  2. G. Resta and P. Santi, “An analysis of the node spatial distribution of the random waypoint mobility model for ad hocnetworks,” in Proceedings of the 2nd International Workshop on Principles of Mobile Computing (POMC ’02), pp. 44–50, October 2000. View at Scopus
  3. D. M. Blough, G. Resta, and P. Santi, “A statistical analysis of the long-run node spatial distribution in mobile ad hoc networks,” in Proceedings of the ACM MSWiM Conference, Atlanta, Ga, USA, September 2002.
  4. D. Mitsche, G. Resta, and P. Santi, “The random waypoint mobility model with uniform node spatial distribution,” Wireless Networks, vol. 20, no. 5, pp. 1053–1066, 2013. View at Google Scholar
  5. J. Yoon, M. Liu, and B. Noble, “Random waypoint considered harmful,” in Proceedings of the 22nd Annual Joint Conference on the IEEE Computer and Communications Societies (INFOCOM ’03), vol. 2, pp. 1312–1321, San Francisco, Calif, USA, March-April 2003. View at Publisher · View at Google Scholar · View at Scopus
  6. E. M. Clarke, J. M. Wing, R. Alur et al., “Formal methods: state of the art and future directions,” ACM Computing Surveys, vol. 28, no. 4, pp. 626–643, 1996. View at Publisher · View at Google Scholar · View at Scopus
  7. K. Jensen, “Basic concepts, analysis methods and practical use,” in Coloured Petri Nets, vol. 1–3 of Monographs in Theoretical Computer Science, Springer, Berlin, Germany, 1997. View at Google Scholar
  8. L. M. Kristensen, S. Christensen, and K. Jensen, “The practitioner’s guide to coloured petri nets,” International Journal on Software Tools for Technology Transfer, vol. 2, no. 2, pp. 98–132, 1998. View at Google Scholar
  9. J. Billington, M. Diaz, and G. Rozenberg, Eds., Application of Petri Nets to Communication Networks: Advances in Petri Nets, vol. 1605 of Lecture Notes in Computer Science, Springer, Berlin, Germany, 1999.
  10. W. Reisig and G. Rozenberg, Eds., Lectures on Petri Nets: Advances in Petri Nets. Volume I: Basic Models, vol. 1491 of Lecture Notes in Computer Science, Springer, Berlin, Germany, 1998.
  11. J. D. Ullman, Elements of ML Programming, Prentice-Hall, 1998.
  12. F. Ahmad and S. A. Khan, “Specification and verification of safety properties along a crossing region in a railway network control,” Applied Mathematical Modelling, vol. 37, no. 7, pp. 5162–5170, 2013. View at Publisher · View at Google Scholar · View at Scopus
  13. F. Ahmad and S. A. Khan, “Module-based architecture for a periodic job-shop scheduling problem,” Computers and Mathematics with Applications, vol. 64, no. 1, pp. 1–10, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  14. A. Sadiq, F. Ahmad, S. A. Khan, J. C. Valverde, T. Naz, and M. W. Anwar, “Modeling and analysis of departure routine in air traffic control based on Petri nets,” Neural Computing & Applications, 2014. View at Publisher · View at Google Scholar
  15. CPN Tools, http://www.daimi.au.dk/CPNtools.
  16. L. M. Kristensen, J. B. Jørgensen, and K. Jensen, Application of Coloured Petri Nets in System Development, Lectures on Concurrency and Petri Nets, 2003.
  17. C. Xiong, T. Murata, and J. Tsai, “Modeling and simulation of routing protocols for mobile ad hoc networks using colored petri nets,” in Proceedings of the Conference on Application and Theory of Petri Nets: Formal Methods in Software Engineering and Defence Systems, vol. 12 of Research and Practice in Information Technology, pp. 145–153, 2002.
  18. S. Agrahari and S. Chinara, “Simulation of random waypoint mobility model using colored Petri nets,” in Proceedings of the 2nd International Conference on Computer Science, Engineering and Applications (CCSEA ’12), pp. 65–75, 2012.
  19. N. A. Khan, F. Ahmad, and W. A. Baig, “Formal model of random walk mobility model for WMN using coloured petri nets,” in Proceedings of the 11th International Bhurban Conference on Applied Sciences & Technology (IBCAST ’14), pp. 436–444, 2014.
  20. D. Johnson and D. Maltz, “Dynamic source routing in ad hoc wireless networks,” in Mobile Computing, T. Imelinsky and H. Korth, Eds., pp. 153–181, Kluwer Academic Publishers, Boston, Mass, USA, 1996. View at Google Scholar
  21. K. Jensen and L. Kristensen, Coloured Petri Nets Modeling and Validation of Concurrent Systems, Springer, New York, NY, USA, 2009.