Simulation Techniques for Discrete Event Systems