Home

IEEE 802.16 MAC Protocol for the Management of Connections and Dynamic Service Flows

Vol. 1 No. 2 (2026) • Published May 31, 2026 • Pages 70–94

Dra. Ana Morales Bezeira Author
Central University of Venezuela
https://orcid.org/0000-0001-5482-0512

Source:
International Multidisciplinary Journal of Emerging Technologies and Applications (IMJETA), ISSN 3135-6214, Vol. 1 No. 2 (2026), pages 70–94.

Download PDF (IMJETA)

Keywords: Service Flow, Dynamic Service Flows, Protocol for Management of Connections, Coloured Petri Nets, PROSEGA/CPN

Abstract

The IEEE 802.16 standard specifies the air interface of Broadband Wireless Access Systems for point-to-multipoint fixed and mobile networks, focusing on the MAC (Medium Access Control) and PHY (physical) layers. The standard defines an extensive set of procedures associated with service flows (SF) at the MAC layer, including dynamic service flows (DSF). This research defines the management of these connections as the “IEEE 802.16 MAC Protocol for Connection Management and DSF” and studies the protocol to support its reuse in emerging wireless networks. The protocol was modelled and analyzed using Coloured Petri Nets and the verification methodology proposed by J. Billington. The results include a precise description of the protocol and service specification, functional validation through regular expression analysis, generation of protocol language, identification of specification drawbacks, and the development of PROSEGA/CPN software to simplify model analysis.