In this work a formalism named Differential Hybrid Petri Nets to model and simulate hybrid systems is presented. It is based on the main elements of the semantics of the hybrid automaton and the modeling power of Petri nets. Considering that Wireless Sensor Networks are hybrid systems, this formalism is applied to model a Dynamic Power Management technique based on battery Capacity (GDC). Therefore, when taken into account the interactions among the dynamics of these nets, more realistic results are obtained in the study of energy consumption. The proposed GDC technique, in function of the capacity of the battery, defines the turn off frequency of the sensor node to allow the recovery of battery capacity. Besides, the proposed GDC technique minimizes the turn off time of the sensor node, at same time that distributes this time along the cycles of work of the sensor node. The obtained results demonstrate that the proposed GDC technique prolongs the lifetime of the sensor node.
Hybrid Systems; Petri Nets; Wireless Sensor Networks; Dynamic Power Management
