Discrete-Event Modeling and Simulation: Theory and Applications

Collecting the work of the foremost scientists in the field, this book presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the advances, extensions of formal techniques, and real-world examples of various applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. The book employs DEVS as a unifying framework for computational modeling and as a formal foundation for model-driven engineering. It covers DEVS standardization as well as the theory of discrete-event modeling and simulation.