{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:42:59Z","timestamp":1740141779603,"version":"3.37.3"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,7,26]],"date-time":"2020-07-26T00:00:00Z","timestamp":1595721600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,7,26]],"date-time":"2020-07-26T00:00:00Z","timestamp":1595721600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/junta","name":"Ministerio de Ciencia e Innovaci\u00f3n","doi-asserted-by":"publisher","award":["SB-PLY\/17\/180501\/000276\/01"],"award-info":[{"award-number":["SB-PLY\/17\/180501\/000276\/01"]}],"id":[{"id":"10.13039\/junta","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Wireless technologies are continuously evolving, including features such as the extension to mid- and long-range communications and the support of an increasing number of devices. However, longer ranges increase the probability of suffering from hidden terminal issues. In the particular case of Wireless Local Area Networks (WLANs), the use of Quality of Service (QoS) mechanisms introduced in IEEE 802.11e compromises scalability, exacerbates the hidden node problem, and creates congestion as the number of users and the variety of services in the network grow. In this context, this paper presents a configurable Colored\u00a0Petri\u00a0Net\u00a0(CPN) model for the IEEE 802.11e protocol with the aim of analyzing the QoS support in mid- and long-range WLANs The CPN model covers the behavior of the protocol in the presence of hidden nodes to examine the performance of the RTS\/CTS exchange in scenarios where the QoS differentiation may involve massive collision chains and high delays. Our CPN model sets the basis for further exploring the performance of the various mechanisms defined by the IEEE 802.11 standard. We then use this CPN model to provide a comprehensive study of the effectiveness of this protocol by using the simulation and monitoring capabilities of CPN Tools.<\/jats:p>","DOI":"10.1007\/s10270-020-00817-2","type":"journal-article","created":{"date-parts":[[2020,7,26]],"date-time":"2020-07-26T07:02:37Z","timestamp":1595746957000},"page":"505-538","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets"],"prefix":"10.1007","volume":"20","author":[{"given":"Estefan\u00eda","family":"Coronado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valent\u00edn","family":"Valero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Orozco-Barbosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda-Emilia","family":"Cambronero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando L.","family":"Pelayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,7,26]]},"reference":[{"key":"817_CR1","unstructured":"LAN\/MAN Standards Committee of the IEEE Computer Society: Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications. Amendment 7: Medium Access Control (MAC) Quality of Service (QoS). IEEE 802.11e (2005)"},{"key":"817_CR2","unstructured":"LAN\/MAN Standards Committee of the IEEE Computer Society: Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications. Amendment 2: Sub 1 GHz License Exempt Operation. IEEE 802.11ah (2016)"},{"key":"817_CR3","unstructured":"Sim\u00f3, J., Figuera, C., Seoane, J., Martinez, A.: Distance Limits in IEEE 802.11 for Rural Networks in Developing Countries. In: Proceedings of IEEE WRECOM. pp. 1\u20135. Rome, Italy (2007)"},{"key":"817_CR4","doi-asserted-by":"crossref","unstructured":"Wu, H., Zhu, F., Zhang, Q., Niu, Z.: WSN02-1: Analysis of IEEE 802.11 DCF with Hidden Terminals. In: Proceedings of IEEE Globecom 2006. pp. 1\u20135 (2006)","DOI":"10.1109\/GLOCOM.2006.931"},{"key":"817_CR5","doi-asserted-by":"crossref","unstructured":"Chang, Z., Alanen, O., Huovinen, T., Nihtila, T., Ong, E.H., Kneckt, J., Ristaniemi, T.: Performance Analysis of IEEE 802.11ac DCF with Hidden Nodes. In: Proceedings of IEEE VTC Spring. pp. 1\u20135 (2012)","DOI":"10.1109\/VETECS.2012.6240054"},{"key":"817_CR6","doi-asserted-by":"crossref","unstructured":"Tsertou, A., Laurenson, D.I.: Insights into the Hidden Node Problem. In: Proceedings of ACM IWCMC. pp. 767\u2013772 (2006)","DOI":"10.1145\/1143549.1143703"},{"key":"817_CR7","doi-asserted-by":"crossref","unstructured":"Perez, S., Facchini, H., Dantiacq, A., Cangemi, G., Campos, J.: An Evaluation of QoS for Intensive Video Traffic over 802.11e WLANs. In: Proceedings of CONIELECOMP. pp. 8\u201315 (2015)","DOI":"10.1109\/CONIELECOMP.2015.7086933"},{"key":"817_CR8","doi-asserted-by":"crossref","unstructured":"Khiat, A., El Khaili, M., Bakkoury, J., Bahnasse, A.: Study and Evaluation of Voice over IP Signaling Protocols Performances on MIPv6 Protocol in Mobile 802.11 Network: SIP and H.323. In: Proceedings of ISNCC. pp. 1\u20138 (2017)","DOI":"10.1109\/ISNCC.2017.8072037"},{"issue":"1","key":"817_CR9","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1109\/TMC.2016.2540632","volume":"16","author":"M Maity","year":"2017","unstructured":"Maity, M., Raman, B., Vutukuru, M.: TCP download performance in dense WiFi scenarios: analysis and solution. IEEE Trans. Mob. Comput. 16(1), 213\u2013227 (2017)","journal-title":"IEEE Trans. Mob. Comput."},{"key":"817_CR10","doi-asserted-by":"crossref","unstructured":"Pastrav, A.E.I., Puschita, E., Palade, T.: HCCA support in IEEE 802.11 networks QoS and QoE performance evaluation. In: Proceedings of IEEE ISETC. pp. 139\u2013142 (2012)","DOI":"10.1109\/ISETC.2012.6408084"},{"key":"817_CR11","doi-asserted-by":"crossref","unstructured":"Talebi, M., Papatsimpa, C., Linnartz, J.M.G.: Dynamic Performance Analysis of IEEE 802.15.4 Networks under Intermittent Wi-Fi Interference. In: Proceedings of IEEE PIMRC. pp. 1\u20137 (2018)","DOI":"10.1109\/PIMRC.2018.8580858"},{"issue":"4","key":"817_CR12","doi-asserted-by":"publisher","first-page":"2169","DOI":"10.1007\/s11277-015-2898-9","volume":"85","author":"J Gomez","year":"2015","unstructured":"Gomez, J., Riggi, A.: Region DCF: a self-adapting CSMA\/Round-Robin MAC for WLAN. Wirel. Pers. Commun. 85(4), 2169\u20132190 (2015)","journal-title":"Wirel. Pers. Commun."},{"issue":"3","key":"817_CR13","doi-asserted-by":"publisher","first-page":"1761","DOI":"10.1109\/COMST.2015.2429311","volume":"17","author":"S Aust","year":"2015","unstructured":"Aust, S., Prasad, R.V., Niemegeers, I.G.: Outdoor long-range WLANs: a lesson for IEEE 802.11ah. IEEE Commun. Surv. Tutor. 17(3), 1761\u20131775 (2015)","journal-title":"IEEE Commun. Surv. Tutor."},{"issue":"C","key":"817_CR14","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1016\/j.comnet.2016.09.006","volume":"108","author":"W Damayanti","year":"2016","unstructured":"Damayanti, W., Kim, S., Yun, J.H.: Collision chain mitigation and hidden device-aware grouping in large-scale IEEE 802.11ah networks. Comput. Netw. 108(C), 296\u2013306 (2016)","journal-title":"Comput. Netw."},{"key":"817_CR15","doi-asserted-by":"crossref","unstructured":"Bianchi, G., Di Stefano, A., Giaconia, C., Scalia, L., Terrazzino, G., Tinnirello, I.: Experimental assessment of the backoff behavior of commercial IEEE 802.11b network cards. In: Proceedings of IEEE INFOCOM. pp. 1181\u20131189 (2007)","DOI":"10.1109\/INFCOM.2007.141"},{"key":"817_CR16","doi-asserted-by":"crossref","unstructured":"Ahemd, F.U., Sarma, S.K.: QoS and admission controller in IEEE 802.11e WLAN. In: 2013 4th International Conference on Intelligent Systems, Modelling and Simulation, pp. 468\u2013471 (2013)","DOI":"10.1109\/ISMS.2013.52"},{"key":"817_CR17","doi-asserted-by":"crossref","unstructured":"Syed, I., Roh, B.: Delay analysis of IEEE 802.11e EDCA with enhanced QoS for delay sensitive applications. In: Proceedings of IEEE IPCCC. pp. 1\u20134 (2016)","DOI":"10.1109\/PCCC.2016.7820668"},{"key":"817_CR18","doi-asserted-by":"crossref","unstructured":"Cranley, N., Davis, M.: An experimental investigation of IEEE 802.11e TXOP facility for real-time video streaming. In: Proceedings of IEEE GLOBECOM, pp. 2075\u20132080 (2007)","DOI":"10.1109\/GLOCOM.2007.397"},{"key":"817_CR19","doi-asserted-by":"crossref","unstructured":"Ramakristanaiah, C., Reddy, P.C., Sam, R.P.: Evaluation of starvation problem under saturated loads in IEEE 802.11e. In: 2016 International Conference on Emerging Technological Trends (ICETT), pp. 1\u20137 (2016)","DOI":"10.1109\/ICETT.2016.7873651"},{"key":"817_CR20","doi-asserted-by":"crossref","unstructured":"Yang, X., Liu, R.P., Hedley, M.: A Channel access cycle based model for IEEE 802.11e EDCA in unsaturated traffic conditions. In: 2012 IEEE Wireless Communications and Networking Conference (WCNC), pp. 1496\u20131501 (2012)","DOI":"10.1109\/WCNC.2012.6214018"},{"issue":"1","key":"817_CR21","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/TMC.2012.227","volume":"13","author":"J Tang","year":"2014","unstructured":"Tang, J., Cheng, Y., Zhuang, W.: Real-time misbehavior detection in IEEE 802.11-based wireless networks: an analytical approach. IEEE Trans. Mob. Comput. 13(1), 146\u2013158 (2014)","journal-title":"IEEE Trans. Mob. Comput."},{"key":"817_CR22","doi-asserted-by":"crossref","unstructured":"Vijayasankar, K., Taufique, A., Kannan, L.N., Tacca, M., Fumagalli, A.: An analytical model with improved accuracy of IEEE 802.11 protocol under unsaturated conditions. In: 2010 IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pp. 385\u2013387 (2010)","DOI":"10.1109\/MASCOTS.2010.46"},{"key":"817_CR23","doi-asserted-by":"crossref","unstructured":"Prakash, G., Thangaraj, P.: Throughput analysis of IEEE 802.11e EDCA under non saturation condition. In: Proceedings of ICECT, vol.\u00a06, pp. 117\u2013121 (2011)","DOI":"10.1109\/ICECTECH.2011.5942063"},{"key":"817_CR24","unstructured":"Masri, M., Juanole, G., Abdellatif, S.: Revisiting the Markov chain model of IEEE 802.11E EDCA and introducing the virtual collision phenomenon. In: Proceedings of ACM WINSYS. Barcelona, Spain, pp. 76\u201384 (2007)"},{"issue":"5","key":"817_CR25","doi-asserted-by":"publisher","first-page":"3746","DOI":"10.1109\/TWC.2016.2527694","volume":"15","author":"S Chakraborty","year":"2016","unstructured":"Chakraborty, S.: Analyzing peer specific power saving in IEEE 802.11s through queuing Petri Nets: some insights and future research directions. IEEE Trans. Wirel. Commun. 15(5), 3746\u20133754 (2016)","journal-title":"IEEE Trans. Wirel. Commun."},{"issue":"4","key":"817_CR26","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1109\/TLA.2013.6601760","volume":"11","author":"S Perez","year":"2013","unstructured":"Perez, S., Facchini, H., Bisaro, L., Campos, J.: Tuning mechanism for IEEE 802.11e EDCA optimization. IEEE Lat. Am. Trans. 11(4), 1134\u20131142 (2013)","journal-title":"IEEE Lat. Am. Trans."},{"key":"817_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets\u2014Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets\u2014Modelling and Validation of Concurrent Systems. Springer, Berlin (2009)"},{"key":"817_CR28","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J Peterson","year":"1981","unstructured":"Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Upper Saddle River (1981)"},{"key":"817_CR29","unstructured":"CPN Tools (2019). http:\/\/cpntools.org\/. accessed on 10.06.2020"},{"issue":"3","key":"817_CR30","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1109\/49.840210","volume":"18","author":"G Bianchi","year":"2000","unstructured":"Bianchi, G.: Performance analysis of the IEEE 802.11 distributed coordination function. IEEE J. Sel. Areas Commun. 18(3), 535\u2013547 (2000)","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"817_CR31","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML","author":"R Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Macqueen, D.: The Definition of Standard ML. MIT Press, Cambridge, MA (1997)"},{"key":"817_CR32","unstructured":"LAN\/MAN Standards Committee of the IEEE Computer Society: Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications. Amendment 4: Further Higher Data Rate Extension in the 2.4 GHz Band. IEEE 802.11g (2003)"},{"key":"817_CR33","doi-asserted-by":"crossref","unstructured":"Boujnoui, A., Orozco-Barbosa, L., Haqiq, A.: Performance evaluation and tuning of an IEEE 802.11 audio video multicast collision prevention mechanism. Wirel. Netw. (2020) (in press)","DOI":"10.1007\/s11276-020-02364-6"},{"key":"817_CR34","doi-asserted-by":"publisher","first-page":"27356","DOI":"10.1109\/ACCESS.2018.2833213","volume":"6","author":"ME Cambronero","year":"2018","unstructured":"Cambronero, M.E., Macia, H., Valero, V., Orozco-Barbosa, L.: Modeling and analysis of the 1-wire communication protocol using timed colored Petri Nets. IEEE Access 6, 27356\u201327372 (2018)","journal-title":"IEEE Access"},{"issue":"10","key":"817_CR35","doi-asserted-by":"publisher","first-page":"1563","DOI":"10.1093\/comjnl\/bxw067","volume":"59","author":"X Hu","year":"2016","unstructured":"Hu, X., Jiao, L., Li, Z.: Modelling and performance analysis of IEEE 802.11 DCF using coloured Petri Nets. Comput. J. 59(10), 1563\u20131580 (2016)","journal-title":"Comput. J."},{"key":"817_CR36","doi-asserted-by":"crossref","unstructured":"Hu, X., Jiao, L.: Efficient modeling and performance analysis for IEEE 802.15.4 with coloured petri nets. In: Proceedings of the IEEE\/ACM IWQoS, pp. 1\u20136 (2017)","DOI":"10.1109\/IWQoS.2017.7969128"},{"key":"817_CR37","unstructured":"Somappa, A.A.K., Simonsen, K.I.F.: Model-based development for MAC protocols in industrial wireless sensor networks. In: Proceedings of IEEE PNSE. Toru\u0144, Poland, pp. 193\u2013212 (2016)"},{"key":"817_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3115389","volume":"2","author":"R Alves","year":"2017","unstructured":"Alves, R., Margi, C.: Behavioral model of IEEE 802.15.4 beacon-enabled mode based on colored Petri net. ACM Trans. Model. Perform. Eval. Comput. Syst. 2, 1\u201331 (2017)","journal-title":"ACM Trans. Model. Perform. Eval. Comput. Syst."},{"key":"817_CR39","doi-asserted-by":"crossref","unstructured":"German, R., Heindl, A.: Performance evaluation of IEEE 802.11 wireless LANs with stochastic Petri Nets. In: Proceedings 8th International Workshop on Petri Nets and Performance Models, pp. 44\u201353 (1999)","DOI":"10.1016\/S0166-5316(00)00053-5"},{"issue":"1\u20134","key":"817_CR40","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0166-5316(00)00053-5","volume":"44","author":"A Heindl","year":"2001","unstructured":"Heindl, A., German, R.: Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri Nets. Perform. Eval. 44(1\u20134), 139\u2013164 (2001)","journal-title":"Perform. Eval."},{"key":"817_CR41","doi-asserted-by":"crossref","unstructured":"Moraes, R., Portugal, P., Vasques, F.: A Stochastic Petri Net model for the simulation analysis of the IEEE 802.11e EDCA communication protocol. In: Proceedings of IEEE ETFA, pp. 38\u201345 (2006)","DOI":"10.1109\/ETFA.2006.355256"},{"issue":"1","key":"817_CR42","first-page":"5395","volume":"44","author":"S Zairi","year":"2011","unstructured":"Zairi, S., Niel, E., Zouari, B.: Global generic model for formal validation of the wireless sensor networks properties. Proc. IFAC World Congr. 44(1), 5395\u20135400 (2011)","journal-title":"Proc. IFAC World Congr."},{"key":"817_CR43","doi-asserted-by":"crossref","unstructured":"Zairi, S., Mezni, A., Zouari, B.: Formal approach for modeling, verification and performance analysis of wireless sensors network. In: Wired\/Wireless Internet Communications. Springer, Cham, pp. 381\u2013395 (2015)","DOI":"10.1007\/978-3-319-22572-2_28"},{"key":"817_CR44","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/j.adhoc.2012.01.004","volume":"12","author":"L Mokdad","year":"2014","unstructured":"Mokdad, L., Ben-Othman, J., Yahya, B., Niagne, S.: Performance evaluation tools for QoS MAC protocol for wireless sensor networks. Ad Hoc Netw. 12, 86\u201399 (2014)","journal-title":"Ad Hoc Netw."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00817-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-020-00817-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-020-00817-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,25]],"date-time":"2021-07-25T23:22:58Z","timestamp":1627255378000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-020-00817-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,26]]},"references-count":44,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["817"],"URL":"https:\/\/doi.org\/10.1007\/s10270-020-00817-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2020,7,26]]},"assertion":[{"value":"23 May 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 June 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 June 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 July 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}