Analysis of discrete‐time stochastic petri nets
Wil M. P. van der Aalst, Kees M. van Hee, Hajo Alexander Reijers · Statistica Neerlandica · 2000
The Petri net formalism is widely applied in both theoretical and practical settings. For the sake of performance analysis, the original Petri net model has been extended with the notion of time. This paper addresses the different issues involved with this extension. Also, it provides a state‐of‐the‐art overview of different analysis techniques for timed Petri nets. A new analysis technique is presented, which combines the freedom of choosing arbitrary time distributions within a Petri net model on the one hand and efficient computation means on the other.