New sections in this updated edition include discussions on important new extensions to theory, including chapter-length coverage of iterative system specification and DEVS and their fundamental importance, closure under coupling for iteratively specified systems, existence, uniqueness, non-deterministic conditions, and temporal progressiveness (legitimacy).
Presents a 40% revised and expanded new edition of this classic book with many important post-2000 extensions to core theory
Provides a streamlined introduction to Discrete Event System Specification (DEVS) formalism for modeling and simulation
Packages all the ?need-to-know? information on DEVS formalism in one place
Expanded to include an online ancillary package, including numerous examples of theory and implementation in DEVS-based software, student solutions and instructors manual