Realizability of schedules by stochastic time Petri nets with blocking semantics
Origin : Files produced by the author(s)