Search for Articles:

MECS Press Menu

Amal Mohammed Aqlan

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

E-mail: hamada_aqlan2010@yahoo.com

Website:

Research Interests: Computational Mathematics, Mathematics of Computing, Mathematics

Biography

Amal M. Aqlan was born in Saudi Arabia March 7th 1978, He received the M.S. degrees in Computer Science at the University of Menoufia, Egypt in 2008. Ph.D. Currently she is  Ph. D. candidate in Menoufia University, Department of Mathematics, Faculty of Science from 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