Modeling and Verification of 802.16 MAC Protocol using Higher-Order Petri Nets

Full Text (PDF, 678KB), PP.21-28

Views: 0 Downloads: 0


Ali Mohammed Meligy 1,* Hani Mohammed Ibrahim 1 Amal Mohammed Aqlan 1

1. Menoufia University, Dept. of Mathematics, Faculty of Science, Egypt

* Corresponding author.


Received: 10 Jun. 2013 / Revised: 18 Sep. 2013 / Accepted: 17 Nov. 2013 / Published: 8 Mar. 2014

Index Terms

MAC, IEEE 802.16, QoS, Stochastic Reward Net(SRN), protocol verification, Higher-Order Petri Nets (HOPNs)


In this paper, we present a new Petri Net (PN) approach to model the IEEE 802.16 MAC Protocol called Higher-Order Stochastic Reward Net (HOSRN) and through the application of the proposed rule. HOSRN is used as a modeling formalism as it readily captures the quality of service requirements of the traffic classes. We apply HOSRN to verify the effectiveness of QoS of the protocol using Reachability graph.

Cite This Paper

Ali Mohammed Meligy, Hani Mohammed Ibrahim, Amal Mohammed Aqlan, "Modeling and Verification of 802.16 MAC Protocol using Higher-Order Petri Nets", International Journal of Computer Network and Information Security(IJCNIS), vol.6, no.4, pp.21-28, 2014. DOI:10.5815/ijcnis.2014.04.03


[1]H. M. Shamitha1, H. M. Guruprasad, Kishore. M and Ramesh. K, "Design and Implementation Of IEEE 802.16 Mac Layer Simulator", Int. J. Advances in Engineering & Technology, Vol.5 (1), pp. 462-469, Nov.2012.
[2]S. Geetha and R. Jayaparvathy, " Modeling and Analysis of Bandwidth Allocation in IEEE 802.16 MAC: A Stochastic Reward Net Approach", Int. J. Communications, Network and System Sciences, Vol.3, pp. 631-637, July 2010.
[3]D. Lee and J. Baik, " QoS Protocol Verification using Petri-Net for Seamless Mobility in A Ubiquitous Environment: A Case Study", International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Phuket, pp. 617-622 Aug.2008.
[4]T. Chow, J-Y Li, “Higher-Order Petri Net Models Based on Artificial Neural Networks”, Artificial Intelligence, V. 92, pp. 289-300, 1997.
[5]W. Reisig and A. Meligy, "Using Modified Higher Order Petri Nets for Modeling Data Link Protocols", International Conference on Information Technology and Natural Sciences, 2003.
[6]M. Mahmoud, A. Meligy, A. Shafik and M. Hassan, "Design And Validity Analysis Of Asynchronous Processors Using Higher-Order Petri Nets", International Conference on Information Technology, 2005.
[7]R. Jayaparvathy, S. Anand, S. Dharmaraja and S. Sri-kanth, “Performance Analysis of IEEE 802.11 DCF with Stochastic Reward Nets,” International Journal of Com-munication Systems, Vol. 20, No. 3, pp. 273-296, 2007.
[8]P.S.Revankar, A. S Kapse, and W. Z. Gandhare, "Overview of a MAC Scheduling Algorithm for IEEE 802.16 Wireless Networks", Int. J. Computer Applications, Vol.2, No.8, June 2010.
[9]A. Khare, M. Saxena, R. S. Thakur and K. Chourasia, "Call Admission Control for Minimizing The Dropped Calls in CDMA Cellular Systems", Int. J. Latest Trends Computing, Vol.2, No.2, Sep., 2011.