Research Article

multiPDEVS: A Parallel Multicomponent System Specification Formalism

Figure 2

Illustration of state collision serialization using multiDEVS.