Modeling and Simulation of Discrete Event Systems