Discrete-Event Modeling and Simulation: Theory and Applications

Gabriel A. Wainer, Pieter J. Mosterman

December 10, 2010 by CRC Press
Reference - 534 Pages - 298 B/W Illustrations
ISBN 9781420072334 - CAT# 72331
Series: Computational Analysis, Synthesis, and Design of Dynamic Systems


Add to Wish List
FREE Standard Shipping!


  • Employs the discrete-event system specification (DEVS) as a unifying framework for computational modeling and as a formal foundation for model-driven engineering
  • Introduces the theory of discrete-event modeling and simulation
  • Shows how DEVS tools are increasingly used in manufacturing modeling, systems biology, and more
  • Covers a broad spectrum of applications that highlight successful DEVS use
  • Contains a number of chapters on DEVS standardization
  • Incorporates contributions from the world’s leading experts, including Bernard P. Zeigler, the creator of the DEVS formalism


Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications.

The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models.

A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.