Petri Nets Wireless Sensor Networks

Wireless sensor network (WSN) design, performance analysis, and energy efficiency are the central concerns, with Petri nets (including generalized stochastic and colored variants) serving as the dominant formal modeling method. Work spans energy harvesting, dual cluster head configurations, and neighbor-aware routing to extend network lifetime. Broader themes include design methodology surveys, IoT integration with indoor spatial models, and formal verification workflows for WSN systems.