A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification

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]

Authors

Khanh Le

This author has not been identified. Look up 'Khanh Le' in Google

Thang Bui

This author has not been identified. Look up 'Thang Bui' in Google

Tho Quan

This author has not been identified. Look up 'Tho Quan' in Google

Laure Petrucci

This author has not been identified. Look up 'Laure Petrucci' in Google