Stochastic Petri nets with timed and immediate transitions

Stochastic Petri nets with timed and immediate transitions

0.00 Avg rating0 Votes
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: ,
Keywords: simulation
Abstract:

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.

Reviews

Required fields are marked *. Your email address will not be published.