Concurrency and Discrete-Event Simulation