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

Electronic Notes in Theoretical Computer Science

Volumn 242, Issue 2, 2009, Pages 73-85

  Masri, Aladdin ^a   Bourdeaud'huy, Thomas ^a   Toguyeni, Armand ^a  

^a ECOLE CENTRALE DE LILLE   (France)

Author keywords

802.11b Standard; LAN protocols modeling; Performance Analysis; Petri Nets; Simulation

Indexed keywords

802.11 NETWORKS; 802.11B STANDARD; B-MODELS; BACK-OFF; COMMUNICATION PROTOCOLS; DENSE WIRELESS NETWORKS; DISCRETE EVENT SYSTEMS; DISTRIBUTED COORDINATION FUNCTION; IEEE 802.11B; LAN PROTOCOLS MODELING; OBJECT-ORIENTED PETRI NET; PERFORMANCE ANALYSIS; PERFORMANCE STUDY; SIMULATION; TIME SYNCHRONIZATION;

COMMUNICATION; FORMAL METHODS; GRAPH THEORY; LOCAL AREA NETWORKS; NETWORK PERFORMANCE; NETWORK PROTOCOLS; PETRI NETS; SIMULATORS; STANDARDS; SYSTEMS ENGINEERING;

WIRELESS NETWORKS;

EID: 67649801537     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.06.024     Document Type: Article

References (19)

1. Murata T. Petri nets: Properties, Analysis and Applications. Proc. of the IEEE 77 4 (1989)
2. C. Ramchandani. "Analysis of Asynchronous Concurrent Systems by Timed Petri Nets." Project MAC, TR120, M.I.T., 1974
3. Merlin P., and Farber D. Recoverability of communication protocols: Implications of a theoretical study. IEEE Tr. Comm. 24 9 (1976)
4. Berthomieu B., Peres F., and Vernadat F. Model-checking Bounded Prioritized Time Petri Nets. ATVA 2007. LNCS 4762 (2007), Springer Verlag
5. S. Natkin. "Les Rseaux de Petri Stochastiques et Leur Application l'valuation des Systmes Informatiques." PhD thesis, Cnam, France, 1980
6. X. Wang, L. Wang. "WLAN System Performance Evaluate Based on SPN." IEEE, ICCA, 2007
7. Jensen K. Colored Petri Nets and the Invariant-Method. Theoretical Computer Science 14 (1981)
8. http://wiki.daimi.au.dk/cpntools/_home.wiki
9. R. Kodikara, S. Ling, A. Zaslavsky. "Evaluating Cross-layer Context Exchange in Mobile Ad-hoc Networks with Colored Petri Nets." IEEE, ICPS, 2007
10. W. Mata, A. Gonzalez, R. Aquino, A. Crespo, I. Ripoll, M. Capel. "A Wireless Networked Embedded System with a New Real-Time Kernel - PaRTiKle." IEEE, CERMA, 2007
11. Liu L., and Billington J. Verification of the Capability Exchange Signalling protocol. STTT 3 (2007)
12. Lakos C. From Coloured Petri Nets to Object Petri Nets. Lecture Notes in Computer Science VOL 935 (1995) PATPN
13. Yu Z., and Cai Y. Object-Oriented Petri nets Based Architecture Description Language for Multi-agent Systems. IJCSNS 6 1 (2006)
14. IEEE Computer Society. "Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications." IEEE Std. 802.11-2007
15. Bianchi G. Performance Analysis of the IEEE 802.11 Distributed Coordination Function. IEEE Journal on Selected Areas in Communications 18 3 (2000)
16. T. Suzuki, S. Tasaka. "Performance evaluation of priority-based multimedia transmission with the PCF in an IEEE 802. 11 standard wireless LAN." IEEE, PIMRC, 2007
17. http://www.informatik.uni-hamburg.de/TGI/renew/
18. Anastasi G., Borgia E., Conti M., and Gregori E. IEEE 802.11b Ad Hoc Networks: Performance Measurements. Cluster Computing 8 2-3 (2005)
19. M. Heusse, F. Rousseau, G. Berger-Sabbatel, A. Duda. "Performance anomaly of 802.11b." INFOCOM, 2003