Abstract simulators for the DSDE formalism

We present the DSDE (Dynamic Structure of Discrete Events) formalism, a methodology for representing discrete event systems that change structure dynamically. We prove that the DSDE formalism is closed under coupling and that it can be used to construct hierarchical and modular models. The abstract simulators which are necessary to execute dynamic structure models are also presented. These simulators allow a description of models independent of the actual simulation procedure, and thus encourage model reuse.