@article{sousa_sausen_lima_perkusich_2007, 
  title={Redes de petri híbridas diferenciais: aplicação na modelagem e no gerenciamento dinâmico de energia de redes de sensores sem fio}, 
  volume={18}, 
  DOI={10.1590/s0103-17592007000300002}, 
  abstractNote={<jats:p>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.</jats:p>}, 
  publisher={FapUNIFESP (SciELO)}, 
  author={Sousa and Sausen and Lima and Perkusich}, 
  year={2007}
  }