Regenerative Stochastic Petri Nets

摘要

The stochastic Petri net (SPN) framework permits formal specification of many discrete-event simulations. We define an SPN as a stochastic process and, using structural properties of the SPN and recurrence theory for generalized semi-Markov processes, establish conditions which ensure that an SPN is a regenerative process and that the expected time between regeneration points is finite. Steady-state estimation procedures for ring network simulations follow from these results.