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.