Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets

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).

[1]  André Schiper,et al.  On the accuracy of MANET simulators , 2002, POMC '02.

[2]  Pablo Hernandez Morera,et al.  A CPN model of the MAC layer , 1999 .

[3]  Tadao Murata,et al.  Modeling and simulation of routing protocol for mobile ad hoc networks using colored petri nets , 2002, FME 2002.

[4]  Ian F. Akyildiz,et al.  Sensor Networks , 2002, Encyclopedia of GIS.

[5]  Kurt Jensen,et al.  Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1 , 1996 .

[6]  Peter Csaba Ölveczky,et al.  Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude , 2007, FMOODS.

[7]  李幼升,et al.  Ph , 1989 .

[8]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[9]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[10]  Deborah Estrin,et al.  An energy-efficient MAC protocol for wireless sensor networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[11]  C. Giardina,et al.  Dynamic Petri-nets: a new modeling technique for sensor networks and distributed concurrent systems , 2005, MILCOM 2005 - 2005 IEEE Military Communications Conference.

[12]  Yan Luo,et al.  A graphical simulation system for modeling and analysis of sensor networks , 2005, Seventh IEEE International Symposium on Multimedia (ISM'05).

[13]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .