Implementing the DEVS formalism on a parallel SIMD architecture