One-dependent cycles and passage times in stochastic Petri netsP.J. HaasG.S. Shedler1995PNPM 1995Conference paper