Research Article

multiPDEVS: A Parallel Multicomponent System Specification Formalism

Figure 1

A multiDEVS model: components can interact through state transition functions.