Modelarea şi verificarea nodurilor senzoriale wireless prin reţele Petri hibride stocastice

Abstract

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 process energy consumption, data transmission and reception over wireless channels into a time slot of CSMA - CA protocol.