Search for Articles:

MECS Press Menu

Ali Mohammed Meligy

Work place: Menoufia University, Dept. of Mathematics, Faculty of Science, Egypt

E-mail: meligyali@hotmail.com

Website:

Research Interests: Software Engineering, Computer systems and computational processes, Systems Architecture, Distributed Computing

Biography

Ali M. Meligy is a professor of computer science at the Menoufia University in Egypt. Previously, he was the head of computer science and information technology departments at Al-Hussein Bin Talal University in Jordan. his research interests include parallel processing and applications, distributed systems, Petri nets, and reuse-based software engineering.

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

By Ali Mohammed Meligy Hani Mohammed Ibrahim Amal Mohammed Aqlan

DOI: https://doi.org/10.5815/ijcnis.2014.04.03, Pub. Date: 8 Mar. 2014

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.

[...] Read more.
Other Articles

Subscribe to receive issue release notifications and newsletters from MECS Press journals