Petri Nets Wireless Sensor Networks

Petri nets (including stochastic, colored, and generalized stochastic variants) are applied to model, analyze, and evaluate the performance of wireless sensor networks, with particular attention to energy consumption, energy harvesting, and protocol behavior such as congestion control and cluster-head configurations. The dominant methodology involves constructing formal Petri net models to derive quantitative metrics like throughput, delay, and energy efficiency under realistic network conditions. A secondary thread covers broader WSN design methodologies and integration concerns, including IoT sensor fusion with indoor spatial models and workflow-based verification tools.