A distributed implementation of DEVS (Discrete-Event System Simulator)