Neste trabalho é apresentado um formalismo denominado Redes de Petri Híbridas Diferenciais para modelar e simular sistemas híbridos. Ele baseia-se nos principais elementos da semântica do autômato híbrido e no poder de modelagem das redes de Petri. Considerando que Redes de Sensores Sem Fio são sistemas híbridos, este formalismo é aplicado na modelagem de uma técnica de Gerenciamento Dinâmico de energia que baseia-se na Capacidade da bateria (GDC). Portanto, ao levar em conta as interações entre as dinâmicas destas redes obtém-se resultados mais realistas no estudo do consumo de energia. A técnica GDC proposta, em função da capacidade da bateria, define a freqüência de desligamento do nó sensor para permitir a recuperação da capacidade da bateria. Além disto, ela minimiza o tempo de desligamento do nó sensor, ao mesmo tempo que distribui esse tempo ao longo dos ciclos de trabalho do mesmo. Os resultados obtidos mostram que a técnica GDC proposta prolonga o tempo de vida do nó sensor.
Sistemas Híbridos; Redes de Petri; Redes de Sensores Sem Fio; Gerenciamento Dinâmico de Energia