Abstract

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.

References

• Ian F. Akyildiz, Weilian Su, Yogesh Sankarasubramaniam, and Erdal Cayirci. Wireless sensor networks: a survey. Computer Networks, 38(4):393–422, 2002.
• Zaheer Aslam, Nauman Qamar, Shehzad Rizwan Noor Khan, Kamal Ahmad, Noor Zaman, Shafiullah, and Rashid Zubair. A survey of wireless sensor networksoftware architecture design issues. International Journal of Computer Science and Telecommunications, 3(3):60–63, 2012.
• Soren Christensen and Torben Bisgaard Haagh. Design/ CPN overview of CPN ML syntax. University of Aarhus, 3, 1996.
• Abdelsalam Heddaya and Abdelsalam Helal. Reliability, availability, dependability and performability: A usercentered view. Boston, MA, USA, Tech. Rep, 1997.
• Jason L. Hill, Robert Szewczyk, Alec Woo, Seth Hollar, David E. Culler, and Kristofer S. J. Pister. System architecture directions for networked sensors. In ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, MA, USA, November 12-15, 2000., pages 93–104, 2000.
• Bret Hull, Kyle Jamieson, and Hari Balakrishnan. Mitigating congestion in wireless sensor networks. In Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, SenSys 2004, Baltimore, MD, USA, November 3-5, 2004, pages 134–147, 2004.
• Kurt Jensen and Lars Michael Kristensen. Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, 2009.
• Kurt Jensen, Lars Michael Kristensen, and Lisa Wells. Coloured petri nets and CPN Tools for modelling and validation of concurrent systems. STTT, 9(3-4):213–254, 2007.
• Khanh Le, Thang Bui, Tho Quan, Laure Petrucci, and Etienne Andre. Congestion verification on abstracted wireless sensor networks with the WSN-PN tool. Journal of Advances in Computer Networks, 4(1), 2016.
• Khanh Le, Giang Trinh, Thang Bui, and Tho Quan. Probabilistic modelling for congestion detection on wireless sensor networks. In Proceedings of 4th-2017 International Conference on Control, Decision and Information Technologies, CoDIT 2017, Barcelona, Spain,April 05-07, 2017, 2017.
• Chuang Lin and Dan C. Marinescu. Stochastic highlevel petri nets and applications. IEEE Trans. Computers, 37(7):815–825, 1988.
• Fei Liu and Ming Yang. Compositional colored petri net approach to multiscale modeling for systems biology. International Journal of Modeling, Simulation, and Scientific Computing, 5(04):1450017, 2014.
• Hui Liu, Zhijun Meng, HuaWang, and Min Xu. Systematic random deployment for wireless sensor network in agricultural sampling-interpolation applications. In Computer and Computing Technologies in Agriculture VI - 6th IFIP WG 5.14 International Conference, CCTA 2012, Zhangjiajie, China, October 19-21, 2012, Revised Selected Papers, Part II, pages 53–59, 2012.
• Alan M. Mainwaring, David E. Culler, Joseph Polastre, Robert Szewczyk, and John Anderson.Wireless sensor networks for habitat monitoring. In Proceedings of the First ACM International Workshop on Wireless Sensor Networks and Applications, WSNA 2002, Atlanta, Georgia, USA, September 28, 2002, pages 88–97, 2002.
• Michael K. Molloy. Discrete time stochastic petri nets. IEEE Trans. Software Eng., 11(4):417–423, 1985.
• The Network Simulator NS-2. http://www.isi.edu/ nsnam/ns/.
• Fikret Sivrikaya, Thomas Geithner, Cuong Truong, Manzoor Ahmed Khan, and Sahin Albayrak. Stochastic routing in wireless sensor networks. In Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference on, pages 1–5. IEEE, 2009.
• Giang Trinh, Khanh Le, Tam Bang, Quan Tram, Thang Bui, and Tho Quan. Modelling and congestion detection of wireless sensor networks: A concurrent-based approach using coloured petri nets. International Journal of Applied Information Systems, 11(7):1–9, Dec 2016.
• András Varga and Rudolf Hornig. An overview of the omnet++ simulation environment. In Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008, page 60, 2008.
• Cristian Vasar, Octavian Prostean, Ioan Filip, Raul Robu, and Dan Popescu. Markov models for wireless sensor network reliability. In Intelligent Computer Communication and Processing, 2009. ICCP 2009. IEEE 5th International Conference on, pages 323–328. IEEE, 2009.
• Chieh-YihWan, Shane B. Eisenman, and Andrew T. Campbell. CODA: congestion detection and avoidance in sensor networks. In Proceedings of the 1st International Conference on Embedded Networked Sensor Systems (SenSys 2003), pages 266–279. ACM, 2003.
• Chonggang Wang, Bo Li, Kazem Sohraby, Mahmoud Daneshmand, and Yueming Hu. Upstream congestion control in wireless sensor networks through cross-layer optimization. IEEE Journal on Selected Areas in Communications, 25(4):786–795, 2007.
• Nan Yao, Shaoping Wang, Yaoxing Shang, and Jian Shi. Reliability of wireless sensor network: Hotspot and critical challenges. In IEEE 10th International Conference on Industrial Informatics, INDIN 2012, Beijing, China, July 25-27, 2012, pages 1262–1266, 2012.
• Jennifer Yick, Biswanath Mukherjee, and Dipak Ghosal. Wireless sensor network survey. Computer networks, 52(12):2292–2330, 2008.