STOCHASTIC THEORY Random variables Markov processes General queueing systems PETRI NETS Place-Transition nets Coloured Petri nets Further reading TIME-AUGMENTED PETRI NETS Stochastic Petri nets Generalized stochastic Petri nets Queueing Petri nets Further reading Solutions to selected exercises Performance Modelling with Deterministic and Stochastic Petri Nets C h r i s t o p h L i n d e m a n n , University of Dortmund, Germany 405 pages, hard cover, bundled with DSPNexpress Software on CD-ROM, John Wiley & Sons 1998 ISBN 0 471 97646 6 Book description (from t h e cover): 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 Mgorithms 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. The book is accompanied by a CD-ROM containing the software package DSPNexpress for several platforms and specification files of a variety of deterministic and stochastic Petri net models. Contents: Part I: Introduction to Performance Modelling Performance evaluation of computer systems Stochastic modelling formalisms Part II: Deterministic and Stochastic Petri Nets Structural properties and reachability analysis Numerical analysis of DSPN without concurrent determinsitic transitions Numerical analysis of DSPN with concurrent determinsitic transitions Part III: Performance Analysis of Multiprocessor Systems Organisation of multiprocessor systems Modelling node architectures Modelling memory consistency protocols Part IV: The Software Package DSPNexpress Overview of the software package DSPnexpress The graphical interface of DSPNexpress DSPNexpress Intrinsics Appendix: Primer to Applied Probability Web site of t h e book: http://www.first.gmd.de/DSPNexpress/
/lp/association-for-computing-machinery/performance-modelling-with-deterministic-and-stochastic-petri-nets-hPlCu0ZoWU