Skip to main content
Springer Nature Link
Log in

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

  • Original Article
  • Published:
Neural Computing and Applications Aims and scope Submit manuscript

Abstract

The broadcast storm problem causes redundancy, contention and collision of messages in a network, particularly in vehicular ad hoc networks (VANETs) where number of participants can grow arbitrarily. This paper presents a solution to this problem in which a node is designated as a master through an election process. Moreover, an algorithm is proposed for asynchronous VANETs to select a master node, where the participants (i.e., vehicles) can communicate with each other directly (single-hop). The proposed algorithm is extrema-finding in a way that a node having maximum signal strength is elected as a master node and each vehicle continues communication with the master until the master node keeps its signal strength at the highest level and remains operational too. This paper further presents the Petri net-based modeling of the proposed algorithm for evaluation which is going to be presented for the first time in leader election algorithm in VANETs. Verification of the proposed algorithm is carried out through state space analysis technique.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Tomášek M (2011) Language for a distributed system of mobile agents. Acta Polytech Hung 8(2):61–79

    Google Scholar 

  2. Sunshine CA (1979) Formal methods for communication protocol specification and verification (No. RAND/N-1429-ARPA/NBS). RAND CORP SANTA MONICA CA

  3. Lai R, Jirachiefpattana A (2013) Communication protocol specification and verification. Springer, Berlin

    MATH  Google Scholar 

  4. Park Y, Kim H (2013) Collision control of periodic safety messages with strict messaging frequency requirements. IEEE Trans Veh Technol 62(2):843–852

    Article  Google Scholar 

  5. van der Aalst WM, Marsan MA (2012) Transactions on Petri nets and other models of concurrency VI. Springer, Berlin

    MATH  Google Scholar 

  6. König H (2012) 11 Verification. In: Protocol engineering. Springer, Berlin, pp 299–339

  7. Edwards J (2001) Process algebras for protocol validation and analysis. In: Proceedings of PREP 2001. Keele, pp 1–20

  8. CPN Tools. http://www.daimi.au.dk/CPNTools/. Retrieved 18 Aug 2014

  9. Wells L (2002) Performance analysis using coloured Petri nets. In: Proceedings of the 10th IEEE international symposium on modeling, analysis and simulation of computer and telecommunications systems, 2002 (MASCOTS 2002). IEEE, pp 217–221

  10. Tseng HR, Jan RH, Yang W, Jou E (2011) A secure aggregated message authentication scheme for vehicular ad-hoc networks. In: 18th World congress on intelligent transportation systems

  11. Barjaktarovic M, Chin SK, Jabbour K (1995) Formal specification and verification of communication protocols using automated tools. In: Proceedings of the first IEEE international conference on engineering of complex computer systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP. IEEE, pp 246–253

  12. Clarke EM, Wing JM (1996) Formal methods: state of the art and future directions. ACM Comput Surv 28(4):626–643

    Article  Google Scholar 

  13. Reisig W, Rozenberg G (eds) (1998) Lectures on Petri nets I: basic models: advances in Petri nets, vol 1491. Springer, Berlin

    MATH  Google Scholar 

  14. Šimoňák S (2012) Verification of communication protocols based on formal methods integration. Acta Polytech Hung 9(4):117–128

    Google Scholar 

  15. Tomasek M, Trelová J (2012) Tech. Univ. of Kosice, Košice, Slovakia. In: 2012 IEEE 10th international conference on emerging eLearning technologies & applications (ICETA). IEEE, pp 391–394

  16. Pek E, Bogunovic N (2003) Formal verification of communication protocols in distributed systems. In: Proceedings of the joint conferences computers in technical systems and intelligent systems (MIPRO 2003), pp 44–49

  17. Lijie C, Tao T, Xianqiong Z, Schnieder E (2012) Verification of the safety communication protocol in train control system using colored Petri net. Reliab Eng Syst Saf 100:8–18

    Article  Google Scholar 

  18. Fokkink W (2007) Introduction to process algebra. Computer science monograph. Springer, Berlin

    Google Scholar 

  19. Sadiq A, Ahmad F, Khan SA, Valverde JC, Naz T, Anwar MW (2014) Modeling and analysis of departure routine in air traffic control based on Petri nets. Neural Comput Appl 25(5):1099–1109

    Article  Google Scholar 

  20. Khan YD, Ahmad F, Khan SA (2014) Content-based image retrieval using extroverted semantics: a probabilistic approach. Neural Comput Appl 24(7–8):1735–1748

    Article  Google Scholar 

  21. Ahmad F, Fakhir I, Khan SA, Khan YD (2014) Petri net-based modeling and control of the multi-elevator systems. Neural Comput Appl 24(7–8):1601–1612

    Article  Google Scholar 

  22. Khan YD, Ahmed F, Khan SA (2014) Situation recognition using image moments and recurrent neural networks. Neural Comput Appl 24(7–8):1519–1529

    Article  Google Scholar 

  23. Ahmad F, Khan SA (2013) Specification and verification of safety properties along a crossing region in a railway network control. Appl Math Model 37(7):5162–5170

    Article  Google Scholar 

  24. Ullman JD (1998) Elements of ML programming: ML97 edition (vol 2). Prentice Hall

  25. Jensen K (1994) An introduction to the theoretical aspects of Coloured Petri nets. Springer, Berlin, pp 230–272

    Google Scholar 

  26. Kristensen LM, Christensen S, Jensen K (1998) The practitioner’s guide to coloured Petri nets. Int J Softw Tools Technol Transf 2(2):98–132

    Article  MATH  Google Scholar 

  27. Kurt J (1997) Coloured Petri nets: basic concepts, analysis methods and practical use. In: EATCS monographs on theoretical computer science, 2nd edn. Springer, Berlin

  28. Jensen K (1993) Coloured Petri nets. In: IEE colloquium on discrete event systems: a new challenge for intelligent control systems. IET, pp 1–5

  29. Billington J, Gallasch GE, Han B (2004) A Coloured Petri net approach to protocol verification. Springer, Berlin, pp 210–290

    MATH  Google Scholar 

  30. Jensen K, Kristensen LM, Wells L (2007) Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int J Softw Tools Technol Transf 9(3–4):213–254

    Article  Google Scholar 

  31. Zhou M, Wu N (2010) System modeling and control with resource-oriented Petri nets. CRC Press, Boca Raton

    Google Scholar 

  32. Hsieh FS, Lin JB (2014) Context-aware workflow management for virtual enterprises based on coordination of agents. J Intell Manuf 25(3):393–412

    Article  Google Scholar 

  33. Mujica M, Piera MA, Narciso M (2010) Revisiting state space exploration of timed Coloured Petri net models to optimize manufacturing system’s performance. Simul Model Pract Theory 18(9):1225–1241

    Article  Google Scholar 

  34. Jensen K, Kristensen LM (2009) Coloured Petri nets: modelling and validation of concurrent systems. Springer, Berlin

    Book  MATH  Google Scholar 

  35. Rahman M, Abdullah-Al-Wadud M, Chae O (2008) Performance analysis of leader election algorithms in mobile ad hoc networks. Int J Comput Sci Netw Secur 8(2):257–263

    Google Scholar 

  36. Vasudevan S, Kurose J, Towsley D (2004) Design and analysis of a leader election algorithm for mobile ad hoc networks. In: Proceedings of the 12th IEEE international conference on network protocols, 2004 (ICNP 2004). IEEE, pp 350–360

  37. Zeng X, Bagrodia R, Gerla M (1998) GloMoSim: a library for parallel simulation of large-scale wireless networks. In: Proceedings of the twelfth workshop on parallel and distributed simulation, 1998 (PADS 98). IEEE, pp 154–161

  38. Manna Z, Pnueli A (1992) The temporal logic of reactive and concurrent systems: specifications, vol 1. Springer, Berlin

    Book  MATH  Google Scholar 

  39. Masum SM, Ali AA (2006) Asynchronous leader election in mobile ad hoc networks. In: 20th International conference on advanced information networking and applications, 2006 (AINA 2006), vol 2. IEEE

  40. Malpani N, Welch JL, Vaidya N (2000) Leader election algorithms for mobile ad hoc networks. In: Proceedings of the 4th international workshop on discrete algorithms and methods for mobile computing and communications. ACM, pp 96–103

  41. Park VD, Corson MS (1997) A highly adaptive distributed routing algorithm for mobile wireless networks. In: Proceedings of the IEEE sixteenth annual joint conference of the IEEE computer and communications societies. driving the information revolution (INFOCOM’97), vol 3. IEEE, pp 1405–1413

  42. Vasudevan S, DeCleene B, Immerman N, Kurose J, Towsley D (2003) Leader election algorithms for wireless ad hoc networks. In: Proceedings of the DARPA information survivability conference and exposition, 2003, vol 1. IEEE, pp 261–272

  43. Dagdeviren O, Erciyes K (2008) A hierarchical leader election protocol for mobile ad hoc networks. In: Computational science (ICCS 2008). Springer, Berlin, pp 509–518

  44. Resta G, Santi P, Simon J (2007) Analysis of multi-hop emergency message propagation in vehicular ad hoc networks. In: Proceedings of the 8th ACM international symposium on mobile ad hoc networking and computing. ACM, Chicago, pp 140–149

  45. Simonak S, Hudak S, Korecko S (2009) Protocol specification and verification using process algebra and Petri nets. In: International conference on computational intelligence, modelling and simulation, 2009 (CSSim’09). IEEE, pp 110–114

  46. Institute of Automatic Control. RWTH Aachen University. http://www.irt.rwth-aachen.de/en/fuer-studierende/downloads/petri-net-tool-netlab.html. Petri net Tool Netlab. Retrieved on Oct 2014

  47. Ma H, Hu Z, Wang G (2004) A reliable routing algorithm in mobile ad hoc networks using fuzzy Petri net. In: IEEE global telecommunications conference workshops, 2004 (GlobeCom workshops 2004). IEEE, pp 80–84

  48. Erbas F, Kyamakya K, Jobmann K (2003) Modeling and performance analysis of a novel position-based reliable unicast and multicast routing method using Coloured Petri nets. In: 2003 IEEE 58th vehicular technology conference, 2003 (VTC 2003-Fall), vol 5. IEEE, pp 3099–3104

  49. Chiang TC, Huang YM (2004) Multicast routing representation in ad hoc networks using fuzzy Petri nets. In: 18th International conference on advanced information networking and applications, 2004 (AINA 2004), vol 2. IEEE, pp 420–423

  50. Chaoyue X, Murata T, Tsai J (2002) Modeling and simulation of routing protocol for mobile ad hoc networks using Colored Petri nets. University of Illinois at Chicago, Chicago

    Google Scholar 

  51. Zhu H, Lin X, Lu R, Ho PH, Shen X (2008) AEMA: an aggregated emergency message authentication scheme for enhancing the security of vehicular ad hoc networks. In: IEEE international conference on communications, 2008 (ICC’08). IEEE, pp 1436–1440

  52. Beccuti M, Pierro MD, Horvath A, Farkas K (2011) A mean field based methodology for modeling mobility in ad hoc networks. In: Proceedings of the 73rd IEEE vehicular technology conference (VTC Spring). IEEE, Budapest, HU, pp 1–5

  53. Zhang C, Zhou M (2003) A stochastic Petri net-approach to modeling and analysis of ad hoc network. In: Proceedings of the international conference on information technology: research and education, 2003 (ITRE2003). IEEE, pp 152–156

  54. Chen L, Jiang CJ, Fang Y, Liu F (2005) Performance evaluation of ad hoc networks based on SPN. In: Proceedings of the 2005 international conference on wireless communications, networking and mobile computing, 2005, vol 2. IEEE, pp 816–819

  55. Zhang C (2004) Ad hoc network security and modeling with stochastic Petri nets, PhD Thesis. Dept. of Electrical and Computer Engineering, New Jersey Institute of Technology

  56. Younes O, Thomas N (2013) Modelling and performance analysis of multi-hop ad hoc networks. Simul Model Pract Theory 38:69–97

    Article  Google Scholar 

  57. Abboud K, Zhuang W (2014) Stochastic analysis of a single-hop communication link in vehicular ad hoc networks. IEEE Trans Intell Transp Syst. doi:10.1109/TITS.2014.2314453

    Google Scholar 

  58. Jensen K, Christensen S, Kristensen LM (2006) CPN tools state space manual. Department of Computer Science, University of Aarhus. cpntools.org/_me

Download references

Acknowledgements

Authors of this research paper are thankful to COMSATS Institute of Information Technology, Lahore Pakistan, for its support to this research.

Author information

Authors and Affiliations

  1. Department of Computer Science, COMSATS Institute of Information Technology, Lahore, Pakistan

    Syed Asad Hussain

  2. Faculty of Information Technology, University of Central Punjab, Lahore, Pakistan

    Naeem Akhtar Khan & Farooq Ahmad

  3. Faculty of Information Technology, Monash University, Victoria, 3145, Australia

    Ayesha Sadiq

Authors
  1. Syed Asad Hussain
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Naeem Akhtar Khan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ayesha Sadiq
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Farooq Ahmad
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ayesha Sadiq.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Hussain, S.A., Khan, N.A., Sadiq, A. et al. Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets. Neural Comput & Applic 29, 1243–1259 (2018). https://doi.org/10.1007/s00521-016-2622-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00521-016-2622-z

Keywords