In this paper a Hybrid Stochastic Petri Net unifying framework is presented to provide a wide modeling and verifying of wireless sensor nodes, oriented for representation of the current state evolution of discrete-continuous ...