Buch, Englisch, 464 Seiten, Format (B × H): 157 mm x 235 mm, Gewicht: 894 g
Modeling with Non-Markovian Stochastic Petri Nets
Buch, Englisch, 464 Seiten, Format (B × H): 157 mm x 235 mm, Gewicht: 894 g
ISBN: 978-0-471-49258-0
Verlag: Wiley
Mit Hilfe stochastischer Petri-Netze werden Systeme modelliert, mit deren Hilfe man die Leistungsfähigkeit von Computern analysieren und bewerten kann. Dieses Buch führt systematisch und in klarem, übersichtlichem Stil in die entsprechenden Verfahren und Algorithmen ein. Jede Definition, jeder Begriff wird durch anschauliche Beispiele vertieft. Ein zugehöriger Webserver stellt Mathematica-Routinen zur Implementierung der behandelten Methoden zur Verfügung. (06/00)
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Numerische Mathematik
- Technische Wissenschaften Technik Allgemein Mathematik für Ingenieure
- Technische Wissenschaften Bauingenieurwesen Mathematische Methoden, Computeranwendungen (Bauingenieurwesen)
- Mathematik | Informatik Mathematik Stochastik Stochastische Prozesse
- Mathematik | Informatik Mathematik Stochastik Elementare Stochastik
Weitere Infos & Material
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
