Book on Stochastic Petri Nets

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 Falko Bause.

 

Bause, Falko  and  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.

 

Contents

 

• 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

 

                          
Redaktionell verantwortlich für diese Seite: 
Dr. Falko Bause