A Petri Net Based Approach For Modelling Of Resource Shared Distributed Wireless Sensor Networks

An extension of Petri net, Dynamic Augmented Marked Petri Net is presented and used for the modeling of systems which can be distributed, dynamic or concurrent in behavior. This paper presents a component based method for modelling an integrated system for multiple distributed wireless sensor networks sharing a common server. Firstly, WSN components are modeled as Dynamic marked petri net and then Dynamic augmented marked petri net is introduced and used for modeling an integrated system where more than one DWSN share a common server. In this technique we have used property preserving composition of Dynamic Augmented Marked Petri Net to a common sharing resource place. The correctness and feasibility of the system designed is verified with the help of property analysis of the system.

REFERENCES

[1] Catello Di Martino, “Resiliency assessment of wireless sensor networks: a holistic approach” PhD Thesis, Federico II, University of Naples, Itly, December 2009.
[2] Bashir Yahya, Jalel Ben-Othman, Lynda Mokdad, and Seringe Diagne, “Performance evaluation of a medium access control protocol for woreless sensor networks using Petri Nets”, In HET-NET’s2010, pp.335-354, 2010.
[3] Ian F Akyidiz, Weilian Su, Yogesh Sankarasubramaniam and Erdal Cayirci, “Wireless Sensor Networks: A Survey”, Computer Networks vol. 38, Iss.4, pp. 392-422, 2002.
[4] Jackson Francomme, Karen Godary and Theirry Val, “Validation formelle d’un mechanism de synchrinisation pour reseaux sans fil”, CFIP’2009, October 2009.
[5] T. Murata, “Petri Nets: Properties, Analysis and Applications”, Proc. Of the IEEE, vol.77, pp541-580, 1982.
[6] Ali Shareef and Yifeng Zhu, “Effective Stochastic modelling of energy constrained wireless sensor networks”, Journal Computer Network and Communication, 2012.
[7] Sunita Kumawat, “Weighted Directed Graph: A Petri Net based method of extraction of closed weighted directed Euler trail” International Journal of Services, Economics and management, vol. 4, Iss. 3, pp252-264, ISSN: 1753-0830, 2013.
[8] Victor Khomenko, Olivier H Roux, “Application and theory of Petri Net and Concurrency” Proc. Of 39thInernational conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018
[9] Thong Weng Jie and Mohamed Ariff bin Ameedeen, “A Survey of Petri Net Tools”, ARPN Journal of Engineering and Applied Sciences, vol.9 Iss.8, pp1209-1214, 2014.
[10] K.H. Mortensen, Petri Nets Tools and Software, http://www.daimi.au.dk/PetriNets/tools, 2003.
[11] Bushra Rashid, Mubashir Husain Rehman, “Applications of wireless sensor networks for Urban areas: A Survey”, Journal of Network and computer Applications, vol. 60, 192-219, 2016.
[12] Amel Berrachedi and Malika Boukala-Ioualalen, “Evaluation of energy consumption and the packet loss in WSNs using Deterministic Stochastic Petri Nets”, 30th International conference on Advanced Information networking and Applications Workshop, 2016.