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.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.