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, August 2008, pp. 617-622.

has been cited by the following article:

• TITLE: Modeling and Analysis of Bandwidth Allocation in IEEE 802.16 MAC: A Stochastic Reward Net Approach

  AUTHORS: Shanmugam Geetha, Raman Jayaparvathy

  KEYWORDS: Wimax, IEEE 802.16, Stochastic Reward Net, Mean Delay, Throughput

  JOURNAL NAME: International Journal of Communications, Network and System Sciences, Vol.3 No.7, July 27, 2010

  ABSTRACT: In this paper, we present a stochastic reward net (SRN) approach to analyse the performance of IEEE 802.16 MAC with multiple traffic classes. The SRN model captures the quality of service requirements of the traffic classes. The model also takes into account pre-emption, priority and timeout characteristics associated with the traffic classes under consideration. The performance of the system is evaluated in terms of mean delay and normalized throughput considering the on-off traffic model. Our analytical model is validated by simulations.