Back to Search
Start Over
Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets.
- Source :
- ENTCS: Electronic Notes in Theoretical Computer Science; Jul2009, Vol. 242 Issue 2, p31-42, 12p
- Publication Year :
- 2009
-
Abstract
- Abstract: Formal modeling techniques can be used for analysis of wireless sensor networks (WSNs). Coloured Petri nets (CPNs) that is an extension of Petri nets is a powerful modeling technique. In this paper, we present a CPN model for modeling and performance evaluation of a medium access control protocol in WSNs named sensor-medium access control protocol (S-MAC). S-MAC is an energy-aware MAC protocol with nodes scheduling. The proposed model for this protocol uses the hierarchical modeling capability of CPNs. By using CPNs in this case study and the proposed method for modeling packet broadcast, we have demonstrated the possibility of modeling and evaluation of any other MAC protocol in WSNs or mobile ad-hoc networks (MANET). [Copyright &y& Elsevier]
Details
- Language :
- English
- ISSN :
- 15710661
- Volume :
- 242
- Issue :
- 2
- Database :
- Supplemental Index
- Journal :
- ENTCS: Electronic Notes in Theoretical Computer Science
- Publication Type :
- Periodical
- Accession number :
- 43176147
- Full Text :
- https://doi.org/10.1016/j.entcs.2009.06.021