IJSTR

International Journal of Scientific & Technology Research

IJSTR@Facebook IJSTR@Twitter IJSTR@Linkedin
Home About Us Scope Editorial Board Blog/Latest News Contact Us
Scopus/Elsevier
CALL FOR PAPERS
AUTHORS
DOWNLOADS
CONTACT
QR CODE
IJSTR-QR Code

IJSTR >> Volume 9 - Issue 1, January 2020 Edition



International Journal of Scientific & Technology Research  
International Journal of Scientific & Technology Research

Website: http://www.ijstr.org

ISSN 2277-8616



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

[Full Text]

 

AUTHOR(S)

Sonal Dahiya, Sunita Kumawat, Priti Singh

 

KEYWORDS

Distributed Wireless Sensor Network, Petri Net, Shared Resource, Synthesis and Composition.

 

ABSTRACT

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.