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.

Introduction * Modelling with Stochastic Petri Nets * The Marking Process * Modelling Power * Recurrence * Regenerative Simulation * Alternative Simulation Methods * Delays * Colored Stochastic Petri Nets * Appendix A Selected Background * References * Index