IN this chapter the basic theory theory
SPNs grew out of the general 1960s through
of (non-timed) of stochastic
nets developed in these models.
the introduction for an overview. networks,
papers in the field of stochastic to the end of the chapter SPNs are, like queueing easy specification the involved numerically, butions to an underlying In this chapter computed. performance CTMCs Note that modelling. Notation