Discrete-Event Modeling and Simulation