Title: Supervisor synthesis for stochastic discrete event systems