Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets
نوع المنشور
ورقة مؤتمر
المؤلفون
النص الكامل
تحميل

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

المؤتمر
عنوان المؤتمر
First International Workshop on Formal Methods for Wireless Systems
دولة المؤتمر
فلسطين
تاريخ المؤتمر
23 أغسطس، 2008 - 23 أغسطس، 2008
راعي المؤتمر
----