Modeling.- A Unified Description for Stochastic Discrete Event Systems.- Stochastic Timed Automata.- Queuing Models.- Simple Petri Nets.- Colored Petri Nets.- Evaluation.- Standard Quantitative Evaluation Methods for SDES.- An Iterative Approximation Method.- Efficient Simulation of SDES Models.- System Optimization.- Model-Based Direct Control.- Software Tool Support.- Applications.- Optimization of a Manufacturing System.- Communication System Performability...