Lehrstuhl RVS Universität Leipzig
Universität Leipzig Institut für Informatik
spacer spacer spacer spacer spacer spacer spacer spacer spacer spacer spacer spacer spacer spacer

Performance Modelling with Deterministic and Stochastic Petri Nets

Über dieses Buch (Originaltext auf dem Buchrücken)

The first to cover the analysis and application of deterministic and stochastic Petri nets, this book provides comprehensive and fully up-to-date coverage of the fundamental techniques and algorithms. These algorithms are also immediately applicable for the analysis of other discrete-event stochastic systems with an underlying stochastic process that can be represented as a generalised semi-Markov process with exponential and deterministic events. Recent developments in the field have resulted in the need for a text on the subject. This book fills that gap and provides coverage of methodological results on the numerical analysis of deterministic and stochastic Petri nets and their application to performance modelling in parallel computer architecture design. Throughout, the emphasis is on the exposition of an intuitive explanation for the mathematical results rather than rigorous mathematical proof. Consequently, the book is ideal for computer scientists, applied mathematicians and electrical engineers, who are interested in performance analysis of computer systems and communication networks. For readers new to the subject, an introduction to performance modelling is provided, together with appendices containing a primer to applied probability and common probability distributions.