Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets.
Mohammad Abdollahi AzgomiAli KhaliliPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- coloured petri nets
- medium access control
- wireless networks
- formal verification
- mac protocol
- wireless channels
- sensor networks
- wireless communication
- sensor data
- wireless local area networks
- power control
- traffic load
- cross layer
- quality of service
- routing protocol
- mac layer
- real time
- wireless sensor networks
- power consumption
- data acquisition
- cellular networks
- energy efficient
- ad hoc networks
- peer to peer