| Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets |
| Hu, X; Jiao, L; Li, ZJ
|
| 2016
|
| 发表期刊 | COMPUTER JOURNAL
 |
| ISSN | 0010-4620
|
| 卷号 | 59期号:10页码:1563-1580 |
| 摘要 | IEEE 802.11, as the standard protocol for wireless local area networks, has achieved substantial developments during recent years and has been widely used in industry and in our daily life. The fundamental access method of the protocol is the distributed coordinated function (DCF), in which the carrier sense multiple access with collision avoidance is used to enable the automatic medium sharing among wireless stations. In this article, a coloured Petri net model for IEEE 802.11 DCF is developed aiming at analysing its performance by simulation. The model is carefully built to capture almost all aspects of the protocol precisely, including the physical and virtual carrier sense functions, traffic generation, backoff procedure, transmission, reception, retransmission, request-to-send/clear-to-send, etc. The topology and ratio ranges are specified so as to address the hidden node problem. The model is organized in a hierarchical and modularized manner, and the symmetries existed in the protocol are exploited to build a compact and scalable model. The model is simulated to compute some performance metrics for each node and for all nodes, including throughput, delivery ratio and delay. The results are compared with NS-2 to validate the model.; IEEE 802.11, as the standard protocol for wireless local area networks, has achieved substantial developments during recent years and has been widely used in industry and in our daily life. The fundamental access method of the protocol is the distributed coordinated function (DCF), in which the carrier sense multiple access with collision avoidance is used to enable the automatic medium sharing among wireless stations. In this article, a coloured Petri net model for IEEE 802.11 DCF is developed aiming at analysing its performance by simulation. The model is carefully built to capture almost all aspects of the protocol precisely, including the physical and virtual carrier sense functions, traffic generation, backoff procedure, transmission, reception, retransmission, request-to-send/clear-to-send, etc. The topology and ratio ranges are specified so as to address the hidden node problem. The model is organized in a hierarchical and modularized manner, and the symmetries existed in the protocol are exploited to build a compact and scalable model. The model is simulated to compute some performance metrics for each node and for all nodes, including throughput, delivery ratio and delay. The results are compared with NS-2 to validate the model. |
| 收录类别 | SCI
|
| 关键词 | Ieee 802
11
Dcf
Coloured Petri Nets
Performance Modelling
Simulation
|
| 部门归属 | 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.
|
| 语种 | 英语
|
| WOS记录号 | WOS:000386969500010
|
| 引用统计 |
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/17298
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
Hu, X,Jiao, L,Li, ZJ. Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets[J]. COMPUTER JOURNAL,2016,59(10):1563-1580.
|
| APA |
Hu, X,Jiao, L,&Li, ZJ.(2016).Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets.COMPUTER JOURNAL,59(10),1563-1580.
|
| MLA |
Hu, X,et al."Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets".COMPUTER JOURNAL 59.10(2016):1563-1580.
|
修改评论