L. Lei, C. Lin, J. Cai and X. Shen, “Performance Analysis of Wireless Opportunistic Schedulers Using Stochastic Petri Nets,” IEEE Transactions on Wireless Communications, Vol. 8, No. 4, 2009, pp. 2076-2087.
 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.
 Y. Ma, J. J. Han and K. S. Trivedi, “Composite Performance and Availability Analysis of Wireless Communication Networks,” IEEE Transactions on Vehicular Technology, Vol. 50, No. 5, 2001, pp. 1216-1223.
 R. Jayaparvathy, S. Anand, S. Dharmaraja and S. Srikanth, “Performance Analysis of IEEE 802.11 DCF with Stochastic Reward Nets,” International Journal of Communication Systems, Vol. 20, No. 3, 2007, pp. 273-296.
 Q. Ni, A. Vinel, Y. Xiao, A. Turlikov and T. Jiang, “Investigation of Bandwidth Request Mechanisms under Point-to-Multipoint Mode of WiMAX Networks,” IEEE Communications Magazine, Vol. 45, No. 5, 2007, pp. 132-138.
 Y. P. Fallah, F. Agharebparast, M. Minhas, H. M. Alnuweiri and V. C. M. Leung, “Analytical Modelling of Contention-Based Bandwidth Request Mechanism in IEEE 802.16 Wireless Networks,” IEEE Transactions on Vehicular Technology, Vol. 57, No. 5, 2008, pp. 3094-3107.
 M. Sarkar and H. Sachdeva, “A QoS Aware Packet Scheduling Scheme for WiMAX,” Proceedings of IAENG Conference on World Congress on Engineering and Computer Science, Berkeley, California, USA, October 2009.
 Y.-C. Lai and Y.-H. Chen, “Designing and Implementing an IEEE 802.16 Network Simulator for Performance Evaluation of Bandwidth Allocation Algorithms,” Proceedings of the 11th IEEE International Conference on High Performance Computing and Communications, Seoul, 2009, pp. 432-437.
 S. Z. Tao and A. Gani, “Intelligent Uplink Bandwidth Allocation Based on PMP Mode for WiMAX,” Proceedings of the 2009 International Conference on Computer Technology and Development, Malaysia, 2009, pp. 86-90.
 C. So-In, R. Jain and A.-K. Tamimi, “Scheduling in IEEE 802.16e Mobile WiMAX Networks: Key Issues and a Survey,” IEEE Journal on Selected Areas in Communications, Vol. 27, No. 2, 2009, pp. 156-171.
 R. A. Sahner, K. S. Trivedi and A. Puliafito, “Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package,” Kluwer Academic Publishers, Dordrecht, 1996.
 R. German, “Markov Regenerative Stochastic Petri Nets with General Execution Policies: Supplementary Variable Analysis, and a Prototype Tool,” Proceedings of the 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Palma de Mallorca, Spain, September 1998, pp. 255-266.
 R. Jayaparvathy, S. Dharmaraja and S. Srikanth, “Stochastic Petri Nets in Performance Evaluation of IEEE 802.11 WLANs,” Sixth International Conference of the Association of the Asia Pacific Operational Research Societies, New Delhi, India, December 2003, pp. 142-150.