Stochastic Petri Nets
Boudewijn R. H. M. Haverkort · 2001
Stochastic Petri nets are timed extensions of classical Petri nets that are very suitable to describe complex performance and dependability models. Stochastic Petri nets are defined and the derivation of static properties (place and transition invariants) is discussed. Then, the derivation of a continuous-time Markov chain via a reachability algorithm is presented in detail. Special emphasis is given to the case where negative exponentially timed transitions may be mixed with immediate transitions. The discussion of a number of large case studies is postponed until chapter 16.