Khanh Le, Thang Bui, Tho Quan, Laure Petrucci. A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification. In Lawrence Cabac, Lars Michael Kristensen, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design ACSD 2016, Toruń, Poland, June 20-21, 2016. Volume 1591 of CEUR Workshop Proceedings, pages 329-334, CEUR-WS.org, 2016. [doi]
Abstract is missing.