@inproceedings{Balbo2000IntroductionTS,
title={Introduction to Stochastic Petri Nets},
author={Gianfranco Balbo},
booktitle={European Educational Forum: School on Formal Methods and Performance Analysis},
year={2000}
}

Stochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their performance and reliability evaluation. The automatic construction of the probabilistic models that underly the dynamic behaviours of these nets rely on a set of results that derive from the theory of untimed Petri nets. The paper introduces the basic motivations for modelling DEDS and briefly overviews the basic results of netâ€¦Â CONTINUE READING