Checking the Evolution of the Model

The evolution of the model can be checked by following these steps:

  1. Make sure that both a visual and a formal model has been loaded in to the training utility.
  2. The prerequisite for observing changes in the visual model is that a set of animation rules has been defined in the animator and that the animator has been activated. The animator can be accessed from the Tools menu of the simulator window associated with the training utility.
  3. The evolution of the system can be observed by running a token game.

Running a token game

A token game can be run either step-by-step or as a continuous execution:

To restore the formal and the visual model back to the initial state after running a token game click on the Reset button.