Stochastic Discrete Event Systems

Armin Zimmermann delivers a coherent and comprehensive overview on modeling with and quantitative evaluation of SDES. An abstract model class for SDES is presented as a pivotal unifying result. Several important model classes, including queuing networks, Petri nets and automata, are detailed together with their formal translation into this abstract model class. Standard and recently developed algo...