Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility
In this article, we present a parameterized Colored Petri Net (CPN) model of the IEEE 802.11e protocol for wireless communications with mobile stations. CPNs provide a graphical model for the modeling and analysis of concurrent systems, which can be parameterized by the use of constants, and thus th...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
PeerJ Inc.
2023-07-01
|
| Series: | PeerJ Computer Science |
| Subjects: | |
| Online Access: | https://peerj.com/articles/cs-1457.pdf |
| _version_ | 1827900248196907008 |
|---|---|
| author | Estefanía Coronado Valentín Valero M. Emilia Cambronero Luis Orozco-Barbosa |
| author_facet | Estefanía Coronado Valentín Valero M. Emilia Cambronero Luis Orozco-Barbosa |
| author_sort | Estefanía Coronado |
| collection | DOAJ |
| description | In this article, we present a parameterized Colored Petri Net (CPN) model of the IEEE 802.11e protocol for wireless communications with mobile stations. CPNs provide a graphical model for the modeling and analysis of concurrent systems, which can be parameterized by the use of constants, and thus they allow us to create more flexible models. Our CPN model captures the protocol’s behavior, and the specific parameters used for the 802.11e protocol and the scenarios to be evaluated are captured by the CPN parameters. The model presented is flexible enough to cover full customization of traffic types, user mobility and collision avoidance protocols. In this model, there is an access point (AP) which is visible to all the stations, and we assume that due to physical restrictions, there are two range groups. All the stations in the same range group are visible to each other. The impact of mobility is then analyzed by studying a situation in which the stations move in a controlled way to the same range group. The simulation results demonstrate the impact on network performance for sensitive and insensitive traffic types, as well as the role of the RTS/CTS protocol in collision avoidance, especially when users are located in different regions. Specifically, we show how the performance improves in the different scenarios when the stations move to the same area, where they can see each other, and we also study the impact on the performance for each type of traffic. |
| first_indexed | 2024-03-12T23:28:22Z |
| format | Article |
| id | doaj.art-ab4401a69e6644d59448a03abd7ed5f4 |
| institution | Directory Open Access Journal |
| issn | 2376-5992 |
| language | English |
| last_indexed | 2024-03-12T23:28:22Z |
| publishDate | 2023-07-01 |
| publisher | PeerJ Inc. |
| record_format | Article |
| series | PeerJ Computer Science |
| spelling | doaj.art-ab4401a69e6644d59448a03abd7ed5f42023-07-15T15:05:04ZengPeerJ Inc.PeerJ Computer Science2376-59922023-07-019e145710.7717/peerj-cs.1457Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobilityEstefanía Coronado0Valentín Valero1M. Emilia Cambronero2Luis Orozco-Barbosa3Departamento de Sistemas Informáticos, Universidad de Castilla La Mancha, Albacete, SpainDepartamento de Sistemas Informáticos, Universidad de Castilla La Mancha, Albacete, SpainDepartamento de Sistemas Informáticos, Universidad de Castilla La Mancha, Albacete, SpainDepartamento de Sistemas Informáticos, Universidad de Castilla La Mancha, Albacete, SpainIn this article, we present a parameterized Colored Petri Net (CPN) model of the IEEE 802.11e protocol for wireless communications with mobile stations. CPNs provide a graphical model for the modeling and analysis of concurrent systems, which can be parameterized by the use of constants, and thus they allow us to create more flexible models. Our CPN model captures the protocol’s behavior, and the specific parameters used for the 802.11e protocol and the scenarios to be evaluated are captured by the CPN parameters. The model presented is flexible enough to cover full customization of traffic types, user mobility and collision avoidance protocols. In this model, there is an access point (AP) which is visible to all the stations, and we assume that due to physical restrictions, there are two range groups. All the stations in the same range group are visible to each other. The impact of mobility is then analyzed by studying a situation in which the stations move in a controlled way to the same range group. The simulation results demonstrate the impact on network performance for sensitive and insensitive traffic types, as well as the role of the RTS/CTS protocol in collision avoidance, especially when users are located in different regions. Specifically, we show how the performance improves in the different scenarios when the stations move to the same area, where they can see each other, and we also study the impact on the performance for each type of traffic.https://peerj.com/articles/cs-1457.pdfIEEE 802.11QoSColored Petri NetsPerformance evaluation |
| spellingShingle | Estefanía Coronado Valentín Valero M. Emilia Cambronero Luis Orozco-Barbosa Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility PeerJ Computer Science IEEE 802.11 QoS Colored Petri Nets Performance evaluation |
| title | Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility |
| title_full | Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility |
| title_fullStr | Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility |
| title_full_unstemmed | Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility |
| title_short | Modelling, simulation and performance evaluation of the IEEE 802.11e protocol with station mobility |
| title_sort | modelling simulation and performance evaluation of the ieee 802 11e protocol with station mobility |
| topic | IEEE 802.11 QoS Colored Petri Nets Performance evaluation |
| url | https://peerj.com/articles/cs-1457.pdf |
| work_keys_str_mv | AT estefaniacoronado modellingsimulationandperformanceevaluationoftheieee80211eprotocolwithstationmobility AT valentinvalero modellingsimulationandperformanceevaluationoftheieee80211eprotocolwithstationmobility AT memiliacambronero modellingsimulationandperformanceevaluationoftheieee80211eprotocolwithstationmobility AT luisorozcobarbosa modellingsimulationandperformanceevaluationoftheieee80211eprotocolwithstationmobility |