Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
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.
