Abstract—The paper presents the WSN-PN tool, which aims at modelling and verifying Wireless Sensor Networks (WSN) using Petri nets (PN). Especially, WSN-PN allows for congestion detection on a WSN setting. Moreover, WSN-PN supports users to abstract components, which can be either sensors or channels, on the verified PN. This abstraction is possible due to the observation that in a practical situation, a reason that causes a WSN to be congested is only depending on either sensors or channels. As a result, once abstracted properly, the verification speed is improved significantly, as illustrated in our experiments.
Index Terms—WSN, WSN-PN tool, Petri nets, congestion detection.
Khanh Le, Thang Bui, and Tho Quan are with University of Technology, Ho Chi Minh, Vietnam (e-mail: lnkkhanh@@cse.hcmut.edu.vn, thang@cse.hcmut.edu.vn, qttho@cse.hcmut.edu.vn).
Laure Petrucci and E´tienne Andre´ are with Universite´ Paris 13, Sorbonne Paris Cite´, LIPN, CNRS Villetaneuse, France (e-mail: laure.petrucci@lipn.univ-paris13.fr, etienne.andre@lipn.univ-paris13.fr).
[PDF]
Cite:Khanh Le, Thang Bui, Tho Quan, Laure Petrucci, and E´tienne Andre´, "Congestion Verification on Abstracted Wireless Sensor Networks with the WSN-PN Tool," Journal of Advances in Computer Networks vol. 4, no. 1, pp. 33-40, 2016.