Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets

Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China. Univ Chinese Acad Sci, Sch Comp & Control Engn, Beijing, Peoples R China.

[1]  Wil M. P. van der Aalst,et al.  Strategies for Modeling Complex Processes Using Colored Petri Nets , 2013, Trans. Petri Nets Other Model. Concurr..

[2]  Chuan Heng Foh,et al.  Comments on IEEE 802.11 saturation throughput analysis with freezing of backoff counters , 2005, IEEE Communications Letters.

[3]  Reinhard German,et al.  Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets , 2001, Perform. Evaluation.

[4]  Qi Chen,et al.  Overhaul of ieee 802.11 modeling and simulation in ns-2 , 2007, MSWiM '07.

[5]  Lars Michael Kristensen,et al.  Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks , 2008, Petri Nets.

[6]  Haitao Wu,et al.  Performance of reliable transport protocol over IEEE 802.11 wireless LAN: analysis and enhancement , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[7]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[8]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[9]  Aladdin Masri,et al.  Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets , 2009, FMWS@CONCUR.

[10]  Abbas Yongaçoglu,et al.  Fairness and throughput performance of infrastructure IEEE 802.11 networks with hidden-nodes , 2008, Phys. Commun..

[11]  A. Girotra,et al.  Performance Analysis of the IEEE 802 . 11 Distributed Coordination Function , 2005 .

[12]  Junxian Liu,et al.  A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction , 2014, Trans. Petri Nets Other Model. Concurr..

[13]  D. Malone,et al.  Modeling the 802.11 Distributed Coordination Function in Nonsaturated Heterogeneous Conditions , 2007, IEEE/ACM Transactions on Networking.

[14]  Jonathan Billington,et al.  A Coloured Petri Net Approach to Protocol Verification , 2003, Lectures on Concurrency and Petri Nets.

[15]  Nigel Thomas,et al.  Modelling and performance analysis of multi-hop ad hoc networks , 2013, Simul. Model. Pract. Theory.

[16]  Theodore Antonakopoulos,et al.  CSMA/CA performance under high traffic conditions: throughput and delay analysis , 2002, Comput. Commun..

[17]  Nigel Thomas,et al.  An SRN Model of the IEEE 802.11 DCF MAC Protocol in Multi-Hop Ad Hoc Networks with Hidden Nodes , 2011, Comput. J..

[18]  Jun Li,et al.  Analyzing Performance for Complex Protocol using Validated CP-nets Models , 2010, 2010 10th IEEE International Conference on Computer and Information Technology.

[19]  Jonathan Billington,et al.  On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol , 2009, Trans. Petri Nets Other Model. Concurr..

[20]  Tadao Murata,et al.  Modeling and simulation of routing protocol for mobile ad hoc networks using colored petri nets , 2002, FME 2002.

[21]  Lars Michael Kristensen,et al.  Applications of Coloured Petri Nets for Functional Validation of Protocol Designs , 2013, Trans. Petri Nets Other Model. Concurr..

[22]  S. Dharmaraja,et al.  Performance analysis of IEEE 802.11 DCF with stochastic reward nets , 2007, Int. J. Commun. Syst..

[23]  Wolfgang Reisig,et al.  Lectures on Concurrency and Petri Nets , 2003, Lecture Notes in Computer Science.

[24]  Guillem Femenias,et al.  Non-saturated IEEE 802.11 networks. A hierarchical 3D Markov model , 2015, Comput. Networks.

[25]  Xin Liu,et al.  Performance of IEEE 802.11 under Jamming , 2013, Mob. Networks Appl..

[26]  Kyandoghere Kyamakya,et al.  Modelling and performance analysis of a novel position-based reliable unicast and multicast routing method using coloured Petri nets , 2003, 2003 IEEE 58th Vehicular Technology Conference. VTC 2003-Fall (IEEE Cat. No.03CH37484).

[27]  Yang Xiao,et al.  Refinements on IEEE 802.11 Distributed Coordination Function Modeling Approaches , 2010, IEEE Transactions on Vehicular Technology.