Congestion Verification on Abstracted Wireless Sensor Networks with the WSN-PN Tool
Khanh Le, Thang Hoai Bui, Tho Quan, Laure Petrucci, E ́tienne Andre ́ · Journal of Advances in Computer Networks · 2016
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.