Stochastic Discrete Event Systems