Falko Bause / Book on Stochastic Petri Nets (available for download)

THE FOLLOWING BOOK IS OUT OF PRINT, BUT YOU CAN NOW DOWNLOAD A REVISED PDF-VERSION OF THE BOOK. TWO VERSIONS ARE AVAILABLE:

Print optimized version (Download here )
Screen optimized version (Download here )

If you find errors, please feel free to contact one of the authors.

Bause, Falko / Kritzinger, Pieter S.

Stochastic Petri Nets (2nd Edition!)

- An Introduction to the Theory -

Vieweg Verlag 2. Aufl. 2002.
ISBN: 3-528-15535-3
Stochastic Petri Nets are a modelling paradigm for the functional and performance analysis of systems. This book provides all information one needs to understand Stochastic Petri Nets, including a short refresher on probability theory, Markov processes and single queues. We explain Generalized Stochastic Petri Nets in detail and additionally show how queueing aspects can be integrated.

This book explains the analysis of Stochastic Petri Nets stressing a combined functional and quantitative examination of systems.

STOCHASTIC THEORY
- Random Variables
  - Probability Theory Refresher
  - Discrete Random Variables
  - Continuous Random Variables
  - Moments of a Random Variable
  - Joint Distributions of Random Variables
  - Stochastic Processes
- Markov Processes
  - Discrete Time Markov Chains
    - Steady State Distribution
    - Absorbing Chains and Transient Behaviour
  - Semi-Markov Processes
    - Formal Model of a Semi-Markov Process
    - Interval Transition Probabilities
    - Steady State Behaviour
  - Continuous Time Markov Chains
    - Steady State Distribution
  - Embedded Markov Chains
- General Queueing Systems
  - Little's Law
  - Birth-Death Processes
  - Poisson Process
  - M/M/1 Queue
  - M/M/m Queue
  - Queues with Processor Sharing Scheduling Strategy
  - Queues with Infinite Servers
  - Queues with Priority Service
- Further Reading
PETRI NETS
- Place-Transition Nets
  - Structure of Place-Transition Nets
  - Dynamic Behaviour of Place-Transition Nets
  - Properties of Place-Transition Nets
  - Analysis of Place-Transition Nets
    - Analysis of the Reachability Set
    - Invariant Analysis
    - Analysis of Net Classes
    - Reduction and Synthesis Analysis
  - Further Remarks on Petri Nets
- Coloured Petri Nets
- Further Reading
TIME-AUGMENTED PETRI NETS
- Stochastic Petri Nets
- Generalized Stochastic Petri Nets
  - Quantitative Analysis of GSPNs
  - Qualitative Analysis of GSPNs
    - Qualitative Analysis of EFC-GSPNs
  - Further Remarks on GSPNs
- Queueing Petri Nets
  - Quantitative Analysis of QPNs
  - Qualitative Analysis of QPNs
    - Qualitative Analysis of EFC-QPNs
  - Some Remarks on Quantitative Analysis
- Further Reading
- Application Examples
  - Resource Sharing
  - Node of a DQDB network
Solutions to Selected Exercises
Bibliography

Stochastic Petri Nets (2nd Edition!)

Contents