Stochastic Petri Nets

Stochastic petri nets have proven to be a useful tool for modelling and performance analysis of complex discrete-event stochastic systems such as those in telecommunications, manufacturing, transportation. This monograph centers on techniques for the modelling and computer simulation of such systems. Researchers and graduate students in applied math, computer engineering, computer science, electrical engineering, industrial engineering operations research and applied probability will find this book useful.

Provides a well thought-out and complete picture of the subject of Stochastic Petri Nets, emphasizing their modeling power Appeals to a wide range of researchers in engineering, computer science, mathematics and operations research Includes a wide variety of examples illustrating applications in various fields

Texte du rabat

This book is about stochastic Petri nets (SPNs), which have proven to be a popular tool for modelling and performance analysis of complex discrete-event stochastic systems. The focus is on methods for modelling a system as an SPN with general firing times and for studying the long-run behavior of the resulting SPN model using computer simulation. Modelling techniques are illustrated in the context of computer, manufacturing, telecommunication, and transportation systems. The simulation discussion centers on the theory that underlies estimation procedures such as the regenerative method, the method of batch means, and spectral methods. Tying these topics together are conditions on the building blocks of an SPN under which the net is stable over time and specified estimation procedures are valid. In addition, the book develops techniques for comparing the modelling power of different discrete-event formalisms. These techniques provide a means for making principled choices between alternative modelling frameworks and also can be used to extend stability results and limit theorems from one framework to another. As an overview of fundamental modelling, stability, convergence, and estimation issues for discrete-event systems, this book will be of interest to researchers and graduate students in Applied Mathematics, Operations Research, Applied Probability, and Statistics. This book also will be of interest to practitioners in these fields, because it provides an introduction to a powerful collection of tools both for modelling and for simulation-based performance analysis. Peter J. Haas is a member of the Research Staff at the IBM Almaden Research Center in San Jose, California.

Résumé
Written by a leading researcher this book presents an introduction to Stochastic Petri Nets covering the modeling power of the proposed SPN model, the stability conditions and the simulation methods. Its unique and well-written approach provides a timely and important addition to the literature. Appeals to a wide range of researchers in engineering, computer science, mathematics and OR.

Contenu
Modelling with Stochastic Petri Nets.- The Marking Process.- Modelling Power.- Recurrence.- Regenerative Simulation.- Alternative Simulation Methods.- Delays.- Colored Stochastic Petri Nets.