Stochastic Discrete Event Systems

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 Evaluation.- Supply Chain Performance Evaluation and Design.- Model-Based Design and Control of a Production Cell.- Summary and Outlook.