Jean-Marie Proth, Nathalie Sauer, Yorai Wardi, Xiaolan Xie: Marking optimization of stochastic timed event graphs using IPA. Discret. Event Dyn. Syst. 6(3): 221-239 (1996)