Stochastic Discrete Event Systems [electronic resource] : Modeling, Evaluation,