The
control tool reads the model given in the specified
scm-file, simulates its execution and controls it. If
scm-file is omitted, the model is read from the standard input.
The model contains the description of a system of communicating machines along with, optionally, the specification of a set of bad configurations. See
scm(5) for a description of the scm input language.
At each step of the simulation,
control displays the transitions that may be taken and asks the user to choose one. If the number provided by the user is not a possible transitions, the simulation terminates.