Article contents
Stochastic Petri Nets: Modeling Power and Limit Theorems
Published online by Cambridge University Press: 27 July 2009
Abstract
Generalized semi-Markov processes and stochastic Petri nets provide building blocks for specification of discrete event system simulations on a finite or countable state space. The two formal systems differ, however, in the event scheduling (clock-setting) mechanism, the state transition mechanism, and the form of the state space. We have shown previously that stochastic Petri nets have at least the modeling power of generalized semi-Markov processes. In this paper we show that stochastic Petri nets and generalized semi-Markov processes, in fact, have the same modeling power. Combining this result with known results for generalized semi-Markov processes, we also obtain conditions for time-average convergence and convergence in distribution along with a central limit theorem for the marking process of a stochastic Petri net.
- Type
- Articles
- Information
- Probability in the Engineering and Informational Sciences , Volume 5 , Issue 4 , October 1991 , pp. 477 - 498
- Copyright
- Copyright © Cambridge University Press 1991
References
- 15
- Cited by