Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets

Authors:
Aladdin Masri;Thomas Bourdeaud'huy;Armand Toguyeni
Affiliations:
LAGIS - CNRS UMR 8146, Ecole Centrale de Lille - Cit Scientifique BP 48, 59651 Villeneuve d'ASCQ, France;LAGIS - CNRS UMR 8146, Ecole Centrale de Lille - Cit Scientifique BP 48, 59651 Villeneuve d'ASCQ, France;LAGIS - CNRS UMR 8146, Ecole Centrale de Lille - Cit Scientifique BP 48, 59651 Villeneuve d'ASCQ, France
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 7
Cited 0

From Coloured Petri Nets to Object Petri Nets

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS

ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
IEEE 802.11b Ad Hoc Networks: Performance Measurements

Cluster Computing
Verification of the Capability Exchange Signalling protocol

International Journal on Software Tools for Technology Transfer (STTT)
A Wireless Networked Embedded System with a New Real-Time Kernel - PaRTiKle

CERMA '07 Proceedings of the Electronics, Robotics and Automotive Mechanics Conference
Model checking bounded prioritized time Petri nets

ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Performance analysis of the IEEE 802.11 distributed coordination function

IEEE Journal on Selected Areas in Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Communication protocols are often investigated using simulation. This paper presents a performance study of the distributed coordination function of 802.11 networks. Firstly, our study illustrates the different classes of Petri Nets used for modeling network protocols and their robustness in modeling based on formal methods. Next we propose a detailed 802.11b model based on Object-oriented Petri Nets that precises backoff procedure and time synchronization. Then, performance analyses are evaluated by simulation for a dense wireless network and compared with other measurements approaches. Our main goal is to propose a modular model that will enable to evaluate the impact of network performances on the performances of distributed discrete event systems.