Stochastic Discrete Event Systems

Delivers comprehensive overview on modeling with a quantitative evaluation of SDES. This title presents important model classes like queuing networks, Petri nets and automata. It summarizes the body of knowledge for modeling and evaluating SDES, while bringing it to an abstraction level with the introduction of a unifying framework.