The adevs (A Discrete EVent system Simulator) library supports the construction of discrete event models using the Parallel DEVS formalism. In addition to basic and network Parallel DEVS models, adevs includes support for dynamic structure models based on the Dynamic DEVS formalism. Several good texts are available for those who are not already familiar with DEVS in one of its many forms (see www.acims.arizona.edu for an extensive collection of tutorials, research papers, and alternate implementations of the DEVS formalism). This manual provides a brief and, I hope, intuitive introduction to DEVS. The source code for examples included in this manual can be found examples directory.
This manual has two parts: the API documentation and the user manual. The user manual is available as an HTML document or as a PDF file.
For users who want more information on the concepts underlying this simulation software, the bibliography below is a good place to start:
A. M. Uhrmacher. Dynamic structures in modeling and simulation: a reflective approach, ACM Transactions on Modeling and Computer Simulation, Vol. 11, No. 2 , pp. 206-232. April 2001. DOI=10.1145/384169.384173 http://doi.acm.org/10.1145/384169.384173. The approach by adevs to modeling and simulation of dynamic structure systems is described in this paper.
Bernard P. Zeigler, Tag Gon Kim and Herbert Praehofer. Theory of Modeling and Simulation, Second Edition. Academic Press. 2000. The publisher's website is http://www.elsevierdirect.com/product.jsp?isbn=9780127784557, and this book is available from most on-line booksellers. The Discrete Event System Specification (DEVS) is developed in this book from its roots in abstract systems theory.
James J. Nutaro. Building Software for Simulation: Theory and Algorithms, with Applications in C++. Wiley. 2010. The publisher's website is http://www.wiley.com/WileyCDA/WileyTitle/productCd-0470414693.html, and this book is also available from most on-line booksellers. This book presents the Discrete Event Systems Specification along side code for the (slightly abridged) adevs simulator and examples of its use.
François E. Cellier and Ernesto Kofman. Continuous System Simulation. Springer. 2006. The publisher's website is http://www.springer.com/us/book/9780387261027. The numerical methods used in the continuous system solvers and the discontinuity locking approach that is used for hybrid models are described here.
Question and comments about this software can be sent to its maintainer, Jim Nutaro, at firstname.lastname@example.org.