IEEE 802.16 MAC Protocol for the Management of Connections and Dynamic Service Flows
Keywords:
Service Flow, Dynamic Service Flows, Protocol for Management of Connections, Coloured Petri Nets, PROSEGA/CPNAbstract
The IEEE 802.16 standard specifies and describes the air interface of the Broadband Wireless Access Systems point to multipoint fixed and mobile networks, and it is limited to the description of the MAC (Medium Access Control) layer and physical (PHY) layer. The standard defines informally an unmanageable set of procedures associated with the service flows (SF) at the MAC layer, also related to a connection element called dynamic service flows (DSF). This research defines the management of these connections as "IEEE 802.16 MAC Protocol for Connection Management and DSF", and studies the protocol to facilitate the reuse of some the concepts in the specification of emerging wireless networks. This research modelled and analysed the protocol using Coloured Petri Nets and the protocol verification methodology proposed by J. Billington. The results are a detailed and precise description of the protocol, and the service specification; the functional validation of such models through the determination of regular expressions of the language; the generation of the protocol language and the service specification; different drawbacks in the specification; and the PROSEGA/CPN Software to simplify the analysis of the models.
References
Abubakar Ibrahim, A., Salsabil, S. I., & Lawal, I. A. (2022). Effective Utilization of an Unused Bandwidth in IEEE 802.16 Network. Journal of Telecommunication, Electronic and Computer Engineering (JTEC), 14(2), 15–22. https://doi.org/10.54554/jtec.2022.14.02.003
Ahmadi S. (2009). WIMAX UPDATE: An Overview of Next-Generation Mobile WiMAX Technology, IEEE Communications Magazine, 47(6), 84–98. https://doi.org/10.1109/MCOM.2009.5116805
Billington J. (1991). Formal Specification of Protocols: Protocol Engineering. Encyclopedia of Microcomputers. 7, 299–314.
Billington J., Gallasch G., & Bing H. (2004). A Coloured Petri Net Approach to protocol Verification. In J. Desel, W. Reisig, & G. Rozenberg, (Eds.). Lectures on Concurrency and Petri Nets: Advances in Petri nets, ACPN 2003. Lecture Notes in Computer Science, 3098 (pp. 210-290). Springer-Verlag. https://doi.org/10.1007/978-3-540-27755-2_6
Black U. (1990). OSI: A Model for Computer Communications Standards. 1ra ed. Prentice-Hall.
Carrasquel J., Morales A., & Villapol M. (2018). PROSEGA/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification. In Proc. of the Institute for System Programming, 30(4). 107-128, https://doi.org/10.15514/ISPRAS-2018-30(4)-7
Holzmann G. (1992). Design and validation of computer protocols. Bell Lab. Prentice-Hall, 1991. https://www.cs.rug.nl/~grl/ar05/spinbook/contents.pdf
Jensen K., & Kristensen L. (2009). Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer-Verlag. https://dl.acm.org/doi/10.5555/1618544
Jeong M., Kim K. S., & Na J. (2025). MAC-SCH-Level Traffic Analysis for Energy Saving in 5G/Pre-6G gNBs. 16th International Conference on Information and Communication Technology Convergence (ICTC) (pp. 506-508). Jeju, Korea. https://doi.org/10.1109/ICTC66702.2025.11388691
Kamali B. (2018). AeroMACS: An IEEE 802.16 Standard-Based Technology for the Next Generation of Air Transportation Systems. IEEE PRESS- Wiley.
Kristensen L.M., & Fagerland K.I. (2013). Applications of Coloured Petri Nets for Functional Validation of Protocol Designs. In: K. Jensen, A. Van Der, W.M.P., G. Balbo, M. Koutny, & K. Wolf (Eeds.). Transaction On Petri Nets and Other Models of Concurrency. Lecture Notes in Computer Science. 7480 (pp. 56–115). Springer-Verlag. https://doi.org/10.1007/978-3-642-38143-0_3
Loutfi N. (2007). WiMAX: Technology for Broadband Wireless Access. 1ra ed. John Wiley & Sons, Ltd. https://doi.org/10.1002/9780470319055
Marks R., Stanwood K., & Chang D. (2004). IEEE Sta. 802.16TM-2004 (Revision of IEEE Std 802.16-2001), Local and Metropolitan Area Network, Part 16: Air Interface for Fixed Broadband Wireless Access Systems. The Institute of Electrical and Electronics Engineers, Inc. https://standards.ieee.org/ieee/802.16/3507/
Meligy A., Ibrahim H., & Aqlan A. (2014). Modelling and Verification of 802.16 MAC Protocol using Higher-Order Petri Nets. I.J. Computer Network and Information Security. 6(4), (21-28). https://doi.org/10.5815/ijcnis.2014.04.03
Ming T., L. (1989). Protocol Engineering. In Y. Marshall C. Advances in Computers. Elsevier, 29. https://doi.org/10.1016/S0065-2458(08)60533-1
Morales Bezeira A. (2019). Modelado y validación funcional del protocolo MAC IEEE 802.16 para la Gestión de las conexiones y flujos de servicio dinámicos entre entidades pares. Doctoral Thesis. Universidad Central de Venezuela. https://doi.org/10.13140/RG.2.2.32931.62244
Morales A., & Villapol M. E. (2013). Reviewing the Service Specification of the IEEE 802.16 MAC Layer Connection Management: A Formal Approach. IEEE CLEI Electronic Journal. 16(2). 1-12. https://doi.org/10.19153/cleiej.16.2.2
Morales A., & Villapol M. E. (2010). Towards Formal Specification of the Service in the IEEE 802.16 MAC Layer for Connection Management, in F., Rivas-Echeverria & G., Mousalli-Kayat (Eds.). Proc. 9th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics (CIMMACS `10), (pp. 140-146). https://www.wseas.us/e-library/conferences/2010/Merida/CIMMACS/CIMMACS-00.pdf
Morales A., Villapol M.E., & Contreras L. (2014), Improving the Specification of the Wimax ARQ Operation. In Proceedings XL Conferencia Latinoamericana en Informática (CLEI 2014) (pp. 1-8). Montevideo, Uruguay, https://doi.org/10.1109/CLEI.2014.6965138
Morales A., Villapol M., Scalise E., Naranjo C., & Alvárez F. (2017). Analysis of the Dynamic Service Flow Management Transactions Protocol for MAC IEEE 802.16: An Aproach. In Proc. XLIII Conferencia Latinoamericana de Informática (CLEI 2017) (1-10). Córdoba, Argentina. https://doi.org/10.1109/CLEI.2017.8226455
Narayana P., Chen R., Zhao Y., Chen Y., Fu Z., & Zhou H. (2007). Automatic Vulnerability Checking of IEEE 802.16 WiMAX Protocols through TLA. Proceedings of 2nd IEEE Workshop on Secure Network Protocols, Santa Barbara, CA, USA (pp. 44-49). https://doi.org/10.1109/NPSEC.2006.320346
Noh, G., Chung, H., & Kim, I. (2020). Mobile relay technology for 5G. IEEE Wireless Communications, 27(3), 6-7.
Ravishankar H. & Patil K. K. (2017). Throughput optimized using evolutionary computing to guarantee QoS in IEEE 802.16 networks. International Conference On Smart Technologies For Smart Nation (SmartTechCon). (pp. 1602-1606), Bengaluru, India, https://doi.org/10.1109/SmartTechCon.2017.8358635
Saddoud A., Chaari Fourati L., & Kamoun L. (2013). A new CAC and packet scheduling scheme for mobile WiMAX networks. Trans. On Emerging Telecommunications Technologies, 25(10). 981–992. https://doi.org/10.1002/ett.2689
Sarkar N., & Gutiérrez J. (2014). Revisiting the Issue of the Credibility of Simulation Studies in Telecommunication Networks: Highlighting the results of a comprehensive survey of IEEE publications. IEEE Communications Magazine, 52(5). 218–224. https://doi.org/10.1109/MCOM.2014.6815915
Villapol M.E. (2003). Modelling and Analysis of the Resource Reservation Protocol Using Coloured Petri Nets. Doctoral Thesis, University of South Australia. https://www.researchgate.net/publication/242393761_Modelling_and_Analysis_of_the_Resource_Reservation_Protocol_Using_Coloured_Petri_Nets
Wang H., Li W., & Agrawal D. (2005). Dynamic admission control and QoS for 802.16 Wireless MAN. Symposium Wireless Telecommunications, Clearwater Beach, FL, USA (pp. 60-66). https://doi.org/10.1109/WTS.2005.1524765
Downloads
Published
Issue
Section
License
Copyright (c) 2026 Dra. Ana Morales Bezeira (Author)
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
