Stochastic petri nets with timed and immediate transitionsPeter J. HaasGerald S. Shedler1989Communications in Statistics. Stochastic Models