Discrete event modeling and simulation theory and applications