Lei / Lin / Zhong Stochastic Petri Nets for Wireless Networks

1. Auflage 2015
ISBN: 978-3-319-16883-8
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 113 Seiten

Reihe: SpringerBriefs in Electrical and Computer Engineering

This SpringerBrief presents research in the application of Stochastic Petri Nets (SPN) to the performance evaluation of wireless networks under bursty traffic. It covers typical Quality-of-Service performance metrics such as mean throughput, average delay and packet dropping probability. Along with an introduction of SPN basics, the authors introduce the key motivation and challenges of using SPN to analyze the resource sharing performance in wireless networks. The authors explain two powerful modeling techniques that treat the well-known state space explosion problem: model decomposition and iteration, and model aggregation using stochastic high-level petri nets. The first technique assists in performance analysis of opportunistic scheduling, Device-to-Device communications with full frequency reuse and partial frequency reuse. The second technique is used to formulate a wireless channel mode for cross-layer performance analysis in OFDM system. Stochastic Petri Nets for Wireless Networks reveals useful insights for the design of radio resource management algorithms and a new line of thinking for the performance evaluation of future wireless networks. This material is valuable as a reference for researchers and professionals working in wireless networks and for advanced-level students studying wireless technologies in electrical engineering or computer science.

Autoren/Hrsg.

Lei, Lei

Lin, Chuang

Zhong, Zhangdui

Inhaltsverzeichnis

1;Preface;8
2;Acknowledgements;10
3;Contents;12
4;Acronym;14
5;1 Introduction;16
5.1;1.1 Cross-Layer Performance Analysis of Wireless Networks Using Stochastic Models;16
5.2;1.2 Motivations and Challenges on Using SPNs for Performance Evaluation;18
5.3;1.3 Related Works on SPNs for Wireless Networks;19
5.3.1;1.3.1 Ad Hoc Networks;19
5.3.2;1.3.2 Cellular Networks;20
5.3.3;1.3.3 Multi-hop Wireless Networks;20
5.4;References;21
6;2 Stochastic Petri Nets;23
6.1;2.1 SPN Basics;23
6.2;2.2 Model Decomposition and Iteration Technique;26
6.3;2.3 Stochastic High-Level Petri Nets;29
6.4;References;32
7;3 Performance Analysis of Opportunistic Schedulers Using SPNs;33
7.1;3.1 Packet Level Performance Analysis of Opportunistic Schedulers;33
7.2;3.2 The DSPN Model Formulation;35
7.2.1;3.2.1 The M/MMDP/1/K Queuing System;35
7.2.2;3.2.2 The DSPN Model;36
7.2.3;3.2.3 Scheduling Strategies;37
7.3;3.3 Model Solution and Performance Analysis;39
7.3.1;3.3.1 Single User System;39
7.3.2;3.3.2 Model Decomposition and Iteration;41
7.4;3.4 Numerical Results;47
7.5;3.5 Summary;50
7.6;Appendix 1: Determination of pl,mn in Rayleigh Fading Channel;51
7.7;Appendix 2: Convergence of the Fixed Point Iteration;52
7.8;References;53
8;4 Performance Analysis of Device-to-Device Communications with Dynamic Interference Using SPNs;54
8.1;4.1 Packet Level Performance Analysis of D2D Communications;54
8.2;4.2 The Coupled Processor Queueing System;57
8.3;4.3 Steady-State Solution of the Queueing System;61
8.3.1;4.3.1 Transition Probability of the Queue State;63
8.3.2;4.3.2 Transition Probability of the Server State;63
8.3.3;4.3.3 Steady-State Probability of Markov Chain;71
8.4;4.4 Model Decomposition and Performance Approximation Using DSPNs;71
8.4.1;4.4.1 The DSPN Model;71
8.4.2;4.4.2 Model Decomposition and Iteration;73
8.5;4.5 Numerical Results;75
8.6;4.6 Summary;79
8.7;Appendix 1: Calculation of the Integration in (4.20);81
8.8;Appendix 2: Proof of Theorem 4.3;88
8.9;References;89
9;5 Packet Level Wireless Channel Model for OFDM System Using SHLPNs;92
9.1;5.1 Packet Level Wireless Channel Model;92
9.2;5.2 SHLPN Model of OFDM Wireless Channel;94
9.2.1;5.2.1 SPN Model;94
9.2.2;5.2.2 SHLPN Model;96
9.3;5.3 Example Application to Cross-Layer Performance Analysis of Cellular Downlink;102
9.3.1;5.3.1 Model Description;102
9.3.2;5.3.2 Numerical Results;104
9.4;5.4 Summary;106
9.5;Appendix: Proof of Lemma 5.1;107
9.6;References;109
10;6 Conclusions and Outlook;111
10.1;6.1 Conclusions;111
10.2;6.2 Outlook;112
10.3;References;113