Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets
Performance Evaluation
Wireless sensor networks for habitat monitoring
WSNA '02 Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
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
On Handling QoS Traffic in Wireless Sensor Networks
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 9 - Volume 9
A wireless sensor network For structural monitoring
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
A scalable and energy-efficient hybrid-based MAC protocol for wireless sensor networks
Proceedings of the 3nd ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks
Towards a classification of energy aware MAC protocols for wireless sensor networks
Wireless Communications & Mobile Computing
Experimental evaluation of simulation abstractions for wireless sensor network MAC protocols
EURASIP Journal on Wireless Communications and Networking - Special issue on simulators and experimental testbeds design and development for wireless networks
Wireless technologies for condition-based maintenance (CBM) in petroleum plants
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
QoS in Wireless Multimedia Sensor Networks: A Layered and Cross-Layered Approach
Wireless Personal Communications: An International Journal
Hi-index | 0.00 |
One of the classical methods to study the performance of networking protocols and algorithms is to use simulation tools like OPNET, NS-2, OMNet++, ...etc. An alternative to simulation tools is to use formal modeling techniques. The advantage of using formal modeling techniques over simulation tools is that the user can do both performance evaluation and model verification. One of these methods is Petri Nets. A Petri Net is a mathematical and graphical tool, invented by Carl Adam Petri, used to verify systems and protocols. Petri Nets have been used to analyze and verify systems in different areas of computer science such as parallel processing, distributed systems and computer networks, artificial intelligence...etc. In this paper, we use the Colored Petri Nets (CPN), an extension for Petri Nets, to model and evaluate the performance of our EQ-MAC protocol [1]. EQ-MAC is quality of service and energy aware hybrid MAC protocol specifically designed for wireless sensor networks. After developing the Petri models for the EQ-MAC protocol, the GreatSPN software system is used to validate the correctness of the developed models and evaluate the performance. Two important performance measures are defined, which are average delay and packets delivery ratio; The results demonstrate the efficiency of our protocol. Furthermore, this work demonstrates the ability of Petri-Nets to model and evaluate MAC protocol for wireless sensor networks.