This course introduces fundamentals of discrete event system models and their applications in modeling, control, analysis, validation, simulation, and performance evaluation of computer systems, hardware/software co-design, manufacturing/de-manufacturing processes, communication networks, and transportation, etc. The mathematical and graphical models include graphs, finite state machine, Petri Nets, timed models, stochastic timed models, and Markov chains, etc. As a graduate level course, it also provides students with a mechanism (a) to conduct independent research on advanced and contemporary DES topics, including higher-level Petri Nets, finite automata based supervisory control, and Petri Nets in job shop scheduling, etc.; and (b) to develop novel models and algorithms for DES.