Checking the Evolution of the Model
The evolution of the model can be checked by following these steps:
- Make sure that both a visual and a formal model has been loaded in to the training
utility.
- 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.
- 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 run the token game step by step press the Step button in the
training utility GUI. This will make the formal model switch to the next state.
- To run the token game continuously set the preferred step interval in
milliseconds in the text field assigned for it. Then start the token game
by clicking on the Run Continuously button next to the text field.
The formal model will now switch state with the set step interval.
To restore the formal and the visual model back to the initial state after
running a token game click on the Reset button.