Probabilistic Language Framework for Stochastic Discrete Event Systems