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. Appeals to a wide range of researchers in engineering, computer science, mathematics and OR.