Performance analysis of stochastic timed Petri nets

A performance analysis method is defined and presented for stochastic timed Petri nets (STPNs), a time extension of regular Petri nets that can model systems with concurrency, asynchronous time-dependent protocols, and random processing times. The main result is that the state evolution of a STPN can be viewed in terms of the evolution of another process, the generalized firing process. The performance of the first process can be studied by analyzing the performance of the second. The time-related performance measures for the generalized firing process are obtained by deriving state equations and using these equations to iteratively calculate the steady-state probability distribution. An equivalent discrete-state Markov process is never constructed