Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks.
Antônio Vicente Lourenço DâmasoNelson Souto RosaPaulo Romero Martins MacielPublished in: Int. J. Distributed Sens. Networks (2014)
Keyphrases
- power consumption
- coloured petri nets
- wireless sensor networks
- energy efficiency
- low power
- save energy
- energy efficient
- energy saving
- power management
- power saving
- battery powered
- formal verification
- sensor networks
- sensor nodes
- power control
- battery life
- network lifetime
- energy consumption
- data center
- data aggregation
- multi hop
- low power consumption
- topology control
- data transmission
- energy management
- power reduction
- wireless communication
- real time
- power dissipation
- low cost
- base station
- routing protocol
- routing algorithm
- image processing