A study of the design and implementation of computer-based simulations of discrete systems, and special purpose simulation languages. Simulation methodology, validation and verification of simulation models, and the analysis of simulation results are included.