摘要
This paper studies the concurrent simulation of DEVS systems by using their encoding into a formalism for dynamic systems called Generalized Magnitudes (GM). When represented with GMs, the internal parallelism of a DEVS model is foregrounded and the concurrent inference techniques developed for the GMs formalism can be applied to speed up simulation. This approach is used for both atomic and coupled DEVS models, and does not require the modeler’s intervention. The internal structure of a typical DEVS control system is identified, so that the scheduling algorithms can be adapted for further efficiency improvement.