Probabilistic Congestion of Wireless Sensor Networks: a Coloured Petri Net based Approach

Analysing probability properties on Coloured Petri Nets (CPNs) model is one of a favorite topic on system verification recently. This paper focuses on verifying congestion probability on Wireless Sensor Networks (WSNs) which is modelled by CPN. Actually, WSNs are the collection of sensors. A WSN topology is formed by the interaction among sensors via Wi-Fi connections. However, sensors can be consider as unsteady devices when working in the harsh environment due to limited processing capacity, non-replacement battery, etc. Hence, each sensor needs to attach a reliable probability so that users can know the probability of reaching the sink of data. Such probabilities are added into the transitions in our CPN probability model before checking congestion. Whole verifying process introduces also in order to emphasize the purpose of this paper via a straight example.

[1]  Ian F. Akyildiz,et al.  Wireless sensor networks: a survey , 2002, Comput. Networks.

[2]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[3]  H. Balakrishnan,et al.  Mitigating congestion in wireless sensor networks , 2004, SenSys '04.

[4]  Khanh Le,et al.  Probabilistic modelling for congestion detection on wireless sensor networks , 2017, 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT).

[5]  Michael K. Molloy.  Discrete Time Stochastic Petri Nets , 1985, IEEE Transactions on Software Engineering.

[6]  Dan C. Marinescu,et al.  Stochastic High-Level Petri Nets and Applications , 1988, IEEE Trans. Computers.

[7]  Laure Petrucci,et al.  Congestion Verification on Abstracted Wireless Sensor Networks with the WSN-PN Tool , 2016 .

[8]  David E. Culler,et al.  System architecture directions for networked sensors , 2000, SIGP.

[9]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[10]  Noor Zaman,et al.  A Survey of Wireless Sensor Network- Software Architecture Design Issues , 2012 .

[11]  Chieh-Yih Wan,et al.  CODA: congestion detection and avoidance in sensor networks , 2003, SenSys '03.

[12]  Hui Liu,et al.  Systematic Random Deployment for Wireless Sensor Network in Agricultural Sampling-Interpolation Applications , 2012, CCTA.

[13]  Tho T. Quan,et al.  Modelling and Congestion Detection of Wireless Sensor Networks: A Concurrent-based Approach using Coloured Petri Nets , 2016 .

[14]  Ioan Filip,et al.  Markov models for wireless sensor network reliability , 2009, 2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing.

[15]  Bo Li,et al.  Upstream congestion control in wireless sensor networks through cross-layer optimization , 2007, IEEE Journal on Selected Areas in Communications.

[16]  Jian Shi,et al.  Reliability of Wireless Sensor Network: Hotspot and critical challenges , 2012, IEEE 10th International Conference on Industrial Informatics.

[17]  Ming Yang,et al.  Compositional colored Petri net approach to multiscale modeling for systems biology , 2014, Int. J. Model. Simul. Sci. Comput..

[18]  Biswanath Mukherjee,et al.  Wireless sensor network survey , 2008, Comput. Networks.

[19]  S. Albayrak,et al.  Stochastic Routing in Wireless Sensor Networks , 2009, 2009 IEEE International Conference on Communications Workshops.

[20]  Abdelsalam Helal,et al.  Reliability, Availability, Dependability and Performability: A User-centered View , 1997 .

[21]  Rudolf Hornig,et al.  An overview of the OMNeT++ simulation environment , 2008, Simutools 2008.

[22]  John Anderson,et al.  Wireless sensor networks for habitat monitoring , 2002, WSNA '02.