6. The Cell–DEVS Formalism

The Cell-DEVS formalism proposes a simple and generic way of defining discrete-event cellular models with advanced timing behavior. Each cell is a continuous-time model in which state transitions are defined by a local computation function. It also provides different delay functions that simplify complex timing definitions. This approach allows us to define Cellular Automata models with advanced timing behavior while using the formal specifications of DEVS.