Abstract
Compared with other high-level modeling formalisms such as queuing theory, SPNs have received relatively little attention in the research of wireless networks. This is mostly due to the fact that SPNs are unknown to most wireless researchers. On the other hand, SPNs are a well-developed theory and have been actively studied in the computer science field for the last 20 years. They present a very straightforward mapping between events in the SPN model and events in the underlying Markov process. Most importantly, a set of powerful techniques have been developed in dealing with the well-known state space explosion problem in performance evaluation. In this chapter, we first briefly introduce the general background of cross-layer performance analysis of wireless networks using stochastic models. Then, we focus on the motivations and challenges on using SPNs for performance evaluation. Finally, we provide an overview of the state-of-art research on applying SPNs to the performance evaluation of wireless networks.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
R. Agrawal, V. Subramanian (2002) Optimality of certain channel aware scheduling policies. Paper presented at the 40th Conference on Communication, Control and Computing, 2002
A. Stoyar (2005) On the asymptotic optimality of the gradient scheduling algorithm for multiuser throughput allocation. Operations Research 53:12–25
M. Andrews (2004) Instability of the proportional fair scheduling algorithm for HDR. IEEE Trans. Wireless Commun 3(5):1422–1426
M. Andrews et al (2004) Scheduling in a queueing system with asynchronously varying service rate. Probability in the Engineering and Informational Sciences 18:191–217
A. Eryilmaz, R. Srikant, J. R. Perkins (2005) Stable scheduling policies for fading wireless channels. IEEE/ACM Trans. Netw 13(2):411–424
M. Dianati, X. Shen, S. Naik (2007) Scheduling with base station diversity and fairness analysis for the downlink of CDMA cellular networks. Wireless Communications and Mobile Computing (Wiley) 7:569–579
M. Dianati, X. Shen, S. Naik (2007) Cooperative fair scheduling for the downlink of CDMA cellular networks. IEEE Trans. on Vehicular Technology 56(4):1749–1760
M. Andrews (2005) A survey of scheduling theory in wireless data networks. Paper presented at the IMA summer workshop on wireless communications, 2005
S. C. Borst (2003) User-level performance of channel-aware scheduling algorithms in wireless data networks. IEEE/ACM Trans. on Networking 13(3):636–647
T. Bonald, S. C. Borst, A. Proutiere (2004) How mobility impacts the flow-level performance of wireless data system. Paper presented at the 23rd AnnualJoint Conference of the IEEE Computer and Communications Societies, Hong Kong, 7–11 March 2004
R. Prakash, V. V. Veeravalli (2007) Centralized wireless data networks with user arrivals and depatures. IEEE Trans. on Inf. Theory 53(2):693–713
C. Zhang, M. Zhou (2003) A stochastic Petri net-approach to modeling and analysis of ad hoc network. Paper presented at the Proceedings. ITRE2003 International Conference on Information Technology: Research and Education, 11–13 Aug 2003
Armin Heindl, Reinhard German (2001) Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets. Performance Evaluation 139–164
Rainer Schoenen, Akram Bin Sediq, Halim Yanikomeroglu (2011) Fairness Analysis in Cellular Networks using Stochastic Petri Nets. Paper presented at IEEE 22nd International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC), Toronto, 11–14 Sept 2011
R. Schoenen, A. B. Sediq, H. Yanikomeroglu et al (2012) Spectral efficiency and fairness tradeoffs in cellular networks with realtime-nonrealtime traffic mix using stochastic Petri nets. Paper presented at the 2012 IEEE VTC-Fall, 3–6 Sept 2012
Lynda Mokdad, Mbaye Sene, Azzedine Boukerche (2011) Call Admission Control Performance Analysis in Mobile Networks Using Stochastic Well-Formed Petri Nets. IEEE Transactions On Parallel And Distributed Systems 22(8):1332–1341
Yao Yuanyuan, Lu Yanhui, Yang Shouyi (2012) Modeling Multi-traffic Admission Control In OFDMA System Using Colored Petri Net. Journal Of Electronics 29(6):509–514
Nawel Gharbi (2012) Modeling and Performance Evaluation of Small Cell Wireless Networks with Base Station Channels Breakdowns. Paper presented at the 8th International Conference on Wireless and Mobile Communications, 2012
Shanmugam Geetha, Raman Jayaparvathy (2010) Modeling and Analysis of Bandwidth Allocation in IEEE 802.16 MAC: A Stochastic Reward Net Approach. Int. J. Communications, Network and System Sciences 631–637
R. Schoenen, M. Salem, A. Sediq et al (2011) Multihop wireless channel models suitable for stochastic Petri nets and Markov state analysis. Paper presented at the IEEE 73rd Vehicular Technology Conference (VTC Spring), Budapest, 15–18 May 2011
Rainer Schoenen (2011) Credit-Based Flow Control for Multihop Wireless Networks and Stochastic Petri Nets Analysis. Paper presented at the 9th Communication Networks and Services Research Conference, 2–5 May 2011
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 The Author(s)
About this chapter
Cite this chapter
Lei, L., Lin, C., Zhong, Z. (2015). Introduction. In: Stochastic Petri Nets for Wireless Networks. SpringerBriefs in Electrical and Computer Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-16883-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-16883-8_1
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-16882-1
Online ISBN: 978-3-319-16883-8
eBook Packages: Computer ScienceComputer Science (R0)