Article ID: | iaor1990353 |
Country: | United States |
Volume: | 5 |
Start Page Number: | 563 |
End Page Number: | 600 |
Publication Date: | Aug 1989 |
Journal: | Communications in Statistics - Stochastic Models |
Authors: | Haas Peter J., Shedler Gerald S. |
Keywords: | simulation |
Stochastic Petri nets with timed and immediate transitions permit representation of concurrency, synchronization, and communication and provide a general framework for discrete event simulation. Formal definition of the marking process of a stochastic Petri net is in terms of a general state space Markov chain that describes the net at successive marking change epochs. The authors obtain a limit theorem for irreducible marking processes with finite timed marking set. In addition, they provide conditions on the building blocks of a stochastic Petri net under which the marking process is a regenerative process in continuous time with finite cycle length moments. These results establish the regenerative method for simulation analysis in the stochastic Petri net setting.