Cycle time of stochastic event graphs: evaluation and marking optimization | IEEE Journals & Magazine | IEEE Xplore