Simulation Techniques for Discrete Event Systems by I. Mitrani