To stop the animation, we select the red button in the Gemoc engines status view or in the Concurrent Logical Steps Decider.