Petrinet Model Based Validation of the LBRP for 6LoWPAN

  IJPTT-book-cover
 
International Journal of P2P Network Trends and Technology (IJPTT)          
 
© 2018 by IJPTT Journal
Volume-8 Issue-1
Year of Publication : 2018
Authors : Dr.M.Rehena Sulthana

MLA

Dr.M.Rehena Sulthana "Petrinet Model Based Validation of the LBRP for 6LoWPAN". International Journal of P2P Network Trends and Technology (IJPTT).V8:1-16 January to February 2018. ISSN:2249-2615. www.ijpttjournal.org. Published by Seventh Sense Research Group.

Abstract

6LoWPAN is an architecture proposed by IETF working group that enables to carry IPv6 packets on top of the Wireless Personal Area Network (WPAN) standardized by the IEEE 802.15.4. In this paper, the working mechanism of the developed Location Based Routing Protocol for 6LoWPAN is modelled using simple Petri net and the performance of the protocol is validated using the reachability graph. From the computation of the reachability graph it can be seen that the token is reached at the destination as shown by the final marking. It is evident that the developed LBRP utilizing the link quality and the residual energy parameters through different nets reaches the ER. It is observed that the constructed Petri net is alive and no deadlocks are encountered.

References

1. Zach Shelby, Carsten Bormann. (2009),"6LoWPAN: The Wireless Embedded Internet‟, Wiley Publications", United Kingdom.
2. Jonathan Hui, David Culler, E (2010). "IPv6 in Low-Power Wireless Networks", Proceedings of the IEEE, Volume 98, No.11, 1865-1878.
3. Jamal N. Al-Karaki, Ahmed E. Kamal, “Routing Techniques in Wireless Sensor Networks: A Survey”, IEEE Wireless Communications, pp. 6-28, 2004.
4. M.Rehena Sulthana, P.T.V Bhuvaneswari, N.Rama, "Enhanced Location Based Routing Protocol for 6LoWPAN", International Journal of Computer Networks & Communications (IJCNC) Vol.4, No.3, May 2012, pp.no. 93-108.
5. Kim. K, Daniel Park, Montenegro and Kushalnagar, N, “6LoWPAN Ad hoc On-Demand Distance vector Routing (LOAD)”, IETF, draft-daniel-6lowpan-load-adhoc-routing-03.txt, pp.no.1-17, 2007.
6. Perkins. C, Beding Royer. E, Das. S (2003), 'Ad hoc On-Demand Distance Vector (AODV)', IETF, RFC 3561,1-37.
7. Vedran Kordic ,"Petri Net, Theory and Applications", I-Tech Education and Publishing, Vienna, Austria, 2008.
8. Baumgarten, B. "Petri nets basics and applications", II edition, Berlin, Spektrum Akademischer Verlag, 1996.
9. Reisig, W."Petri nets –An Introduction to Petri nets", EATCS monographs in Theoretical Computer Science, Springer-Verlag , 1985.
10. Murata, T. " Petri nets: Properties, Analysis and Applications", Proceedings of the IEEE, Vol.77 (4), pp.541-580, 1989.
11.Aalst,W.vader,Hee,K. Van."Workflow Management:Models,Methods and Systems. Massachusetts", MIT Press, USA, 2002.
12. Chaoyue Xiong, Tadao Murata, Jeffery Tsai. "Modelling and Simulation of Routing Protocol for Mobile Ad hoc Networks Using Colored Petri Nets", Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems, Australian Computer Society, Volume 12, pp.145- 153, 2002.
13. Cong Yuan and Jonathan Billington. "A Coloured Petri Net Model of the Dynamic MANET On-demand Routing Protocol ", Proceedings Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Denmark, pp. 37-56, , 2006.
14. Meera Bala krishnan, Kishor S. Trivedi. "Stochastic Petri Nets for the Reliability Analysis of Communication Network Applications with Alternate Routing ", Reliability Engineering and System Safety, Elsevier, pp. 243-259, 1996.
15. Dan Li, Yong Cui, Ke Xu , Jian Ping Wu. " Improvement of multicast routing protocol using Petri nets", Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part II, Springer-Verlag Berlin, Heidelberg, pp.634-643, 2005.
16. Jennifer Yick, Biswanath mukherjee, Dipak Ghosal, “Wireless Sensor Networks, Elsevier –Computer Networks”,pp.2292-2330, 2008.
17. Congzhe Zhang, Mengchu Zhou. “A Stochastic Petri Net Approach to Modelling and Analysis of Ad hoc Network”, IEEE, pp.152-156, 2003.

Keywords
6LoWPAN, LBRP, LQI, residual energy, Petri net