Introduction
DEVS is a discrete-event formalism that allows a hierarchical and modular description of the models. DEVS can describe behavioral models (atomic) or structural (coupled). Cell-DEVS allows modeling systems that can be represented as executable cell spaces. Details about the DEVS formalism can be found in:
“Theory of Modeling and Simulation”. B. Zeigler, H. Praehofer, T. G. Kim. 2nd Edition. Academic Press. 2000.
- 
Discrete-Event Modeling and Simulation: a practitioner's approach (book). G. Wainer. (click here to get it at Amazon). Further information here .
The following references present other topics related to DEVS and Cell-DEVS. These and other references are available here
- CD++: a toolkit to define discrete-event models". G. Wainer. In Software, Practice and Experience. Wiley. Vol. 32, No.3. November 2002. pp. 1261-1306.
- N-Dimensional Cell-DEVS". G. Wainer, N. Giambiasi. In Discrete Events Systems: Theory and Applications, Kluwer. Vol. 12, No. 1. January 2002. pp. 135-157.
- 'Timed Cell-DEVS: modeling and simulation of cell spaces'. G. Wainer, N. Giambiasi. In Discrete Event Modeling & Simulation: Enabling Future Technologies. Springer-Verlag. 2001.
- Here, you can find further basic information about DEVS and Cell-DEVS theory
Bibliografía en Español:
- Metodologías de modelización y simulación de eventos discretos. G. Wainer. Nueva Librería. 2002.
