Peter J. Haas, Gerald S. Shedler
Discrete Event Dynamic Systems: Theory and Applications
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. We obtain a limit theorem for irreducible marking processes with finite timed marking set. In addition, we 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. © 1989, Taylor & Francis Group, LLC. All rights reserved.
Peter J. Haas, Gerald S. Shedler
Discrete Event Dynamic Systems: Theory and Applications
Brian Hentschel, Peter J. Haas, et al.
ACM TODS
Paul G. Brown, Peter J. Haas
ICDE 2006
Bin Chen, Peter J. Haas, et al.
Proceedings - International Conference on Data Engineering