A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets
2009
Electronical Notes in Theoretical Computer Science
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 sensormedium 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
doi:10.1016/j.entcs.2009.06.021
fatcat:33qa4gq4mjezbogqi4vyvsjaxm