Covers the theory of discrete event dynamic systems with applications in modeling, control, analysis, validation, simulation, and performance evaluation of computer systems, flexible manufacturing systems, robotic systems, intelligent supervisory control systems, and communication networks. Emphasis on Petri net and automation based approaches.