Introduction to Discrete Event Systems, Second Edition (Cassandras, C.G. et al.; 2008) [Bookshelf]

This book covers, in a progressively refined manner, concepts, theories, and methods for modeling, control, and performance analysis of discrete event systems. The book contains two complete instructional paths: chapters 2-5 for deterministic discrete event systems and chapters 6-11 for stochastic discrete event systems. Two appendices are included: "Review of Probability Theory" and "IPA Estimator." The presentation of the material is both intuitive and formal. It follows along a homogeneous path of progressively refined models of discrete event systems, from untimed to timed and from deterministic to stochastic. The logic development is clear, mathematically rigorous, and supplied with a wide range of examples. This is among the best books for both instructional and research purposes.