This course provides theory and practice for modeling and simulation of discrete event systems which include communication networks, manufacturing systems, and high-level computer systems. Topics include system taxonomy and discrete event systems (DES) characteristics; three entities in modeling and simulation; model representation and formalism construction; DEVS (Discrete Event systems Specification) formalism and DES modeling; simulation algorithm for DES; Petri Net modeling and analysis; statistics for modeling, simulation and analysis; model validation; output analysis and performance evaluation; advanced topics in DES modeling and simulation.