Open AccessModeling and Verification of 802.16 MAC Protocol using Higher-Order Petri Nets
Author(s) -
Ali Meligy,
Hani M. Ibrahim,
Amal Aqlan
Publication year - 2014
Publication title -
international journal of computer network and information security
Language(s) - English
Resource type - Journals
eISSN - 2074-9104
pISSN - 2074-9090
DOI - 10.5815/ijcnis.2014.04.03
Subject(s) - computer science , reachability , petri net , stochastic petri net , formalism (music) , quality of service , protocol (science) , computer network , graph , distributed computing , theoretical computer science , pathology , medicine , musical , art , visual arts , alternative medicine
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom