Search for Articles:

MECS Press Menu

Hani Mohammed Ibrahim

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

E-mail: hanimir78@yahoo.com

Website:

Research Interests: Image Compression, Image Manipulation, Image Processing, Analysis of Algorithms

Biography

Hani M. Ibrahim was born in Egypt on September 12th 1978. He received the M.S. and PhD degrees in Computer Science at the University of Menoufia, Egypt in 2004 and 2008, respectively. His research interests lies in the areas of image processing. Currently he is a lecture of Computer Science in the Faculty of Science, at the University of Menoufia, Egypt.

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