Coloured Petri Net Model for the Formal Validation of Sensor Networks.
Sajeh ZairiBelhassen ZouariÉric NielPublished in: SNA (2009)
Keyphrases
- sensor networks
- petri net model
- petri net
- wireless sensor networks
- service composition
- sensor data
- environmental monitoring
- energy consumption
- data collection
- sensor nodes
- resource constrained
- communication cost
- data streams
- data aggregation
- production process
- sensor readings
- web services
- energy efficient
- underwater acoustic
- mobile wireless
- energy aware
- communication bandwidth
- base station
- data dissemination
- energy efficiency
- mobile sensor networks
- aggregation queries
- data sets
- service oriented
- resource allocation
- routing protocol
- sensing devices
- computational complexity