Stochastic Petri nets are a popular tool for modelling and performance analysis of complex discrete-event stochastic systems. This book looks at way of modelling a system as an SPN with general firing times and of studying the long-run behaviour of the resulting SPN model using computer simulation.