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

Authors:
Mohammad Abdollahi Azgomi;Ali Khalili
Affiliations:
Performance and Dependability Engineering Lab., Department of Computer Engineering, Iran Univaersity of Science and Technology, Tehran, Iran;Performance and Dependability Engineering Lab., Department of Computer Engineering, Iran Univaersity of Science and Technology, Tehran, Iran
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 7
Cited 1

Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2

Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
On the accuracy of MANET simulators

Proceedings of the second ACM international workshop on Principles of mobile computing
Modeling and simulation of routing protocol for mobile ad hoc networks using colored petri nets

CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
A Graphical Simulation System for Modeling and Analysis of Sensor Networks

ISM '05 Proceedings of the Seventh IEEE International Symposium on Multimedia
Formal modeling and analysis of the OGDC wireless sensor network algorithm in real-time maude

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
A survey on sensor networks

IEEE Communications Magazine

Model-driven performance engineering for wireless sensor networks with feature modeling and event calculus

Proceedings of the 3rd workshop on Biologically inspired algorithms for distributed systems

Quantified Score

Hi-index	0.00

Visualization

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