Falko Bause, Pieter S. Kritzinger, “Stochastic Petri Nets”
Friedrich Vieweg&Sohn Verlag | 2002-11-01 | ISBN: 3528155353 | 218 pages | PDF | 1,7 MB

This book arose out of a desire by the authors to collect all one needs to
understand Stochastic Petri net theory in one volume. It is in three parts. The
first part is on stochastic theory leading to introductory queueing theory and
simple queues. In Part I we emphasise Markovian theory, because where general
queueing theory fails, Markovian analysis can often still be useful.
Part II is about Petri nets, starting with ordinary Petri nets and ending with
Coloured Petri nets. Ordinary and Coloured Petri nets do not involve time and
were developed to test the functionality of concurrent systems. In this part of
the book we give an overview of the most important analysis techniques paying
particular attention to the validation of those properties which are essential for
Stochastic Petri nets.
Our emphasis in Part III is on those Stochastic Petri net models which can be
analysed by Markovian techniques. The intention of this book is not to give an
overview of several or all Stochastic Petri net models appearing in the literature,
but to stress a combined view of functional and performance analysis in the
context of some Stochastic Petri net models.
[url]e45.org/?http://uploading.com/files/HC7FS4PI/Petri_Nets.rar.html[/url]