Simulation Algorithms for Atomic DEVS