Performance Analysis of Communication Systems: Modeling with Non-Markovian Stochastic Petri Nets (Hardcover, Revised)

Foreword

Preface

Contents Outline

Acknowledgments

I Modeling with Stochastic Petri Nets

1 Introduction

2 Stochastic Petri Nets

3 Tool Support

4 Preliminaries

5 Markovian Stochastic Petri Nets

6 The Method of Supplementary Variables

7 General State Equations

8 Stationary Analysis

9 Transient Analysis

10 General Execution Policies

11 Reducible Structures

12 Markov Renewal Theory

13 Concurrent Deterministic Transitions

14 Introduction to Communication Systems

15 Medium Access Control

16 Error Control for Noisy Channels

17 Miscellaneous Topics

18 Concluding Remarks

Appendix: SPNica Manual

A.1 A Short Tour of SPNica

A.2 Analysis of Discrete-Time Markov Chains

A.3 Analysis of GSPN Models

A.4 Stationary Analysis of Non-Markovian SPNs

A.5 Transient Analysis of DSPNs

List of Abbreviations

Glossary of Notation

References

Index