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.

Title

Electronic Notes in Theoretical Computer Science

Publisher

Elsevere / Science Direct

Publisher Country

United States of America

Indexing

Scopus

Impact Factor

None

Publication Type

Both (Printed and Online)

Volume

24

Year

2009

Pages

73-85