How to create transitions
To create a transition, you need to have previously created a from
state and a to state.(Note for self-loops, the from and to
state are identical.) As with the creation of states, all transitions are created
via the command line or batch window.
It is possible to create transitions that initially have no markings or it is
possible to use flags to indicate that an event has
special properties (e.g., controllable, observable).
Using the Command Line
There are two ways to create a transition without flags:
- Type trans from_state_name to_state_name
transition_name into the command line and hit <Enter>:

- Type t from_state_name to_state_name
transition_name into the command line and hit <Enter>.
Both versions of the command achieve the same result. There should now be
a directed solid line, labelled with transition_name in the workspace,
originating at from_state_name and ending at to_state_name.
This procedure will create a transition without any properties attached to it.
To change the properties of a transition, refer to the section on editing transitions.
Flags
It is also possible to create a transition and initially assign it some properties
using the flags options. The flags associated with the trans
command are:
trans from_state_name to_state_name transition_name [flags]
t from_state_name to_state_name transition_name
[flags]
- -uo -UO
- gives a transition the unobservable property
- -uc -UC
- gives a transition the uncontrollable property
Note:
- By default, if the flags are not present, the transition will be assigned
to be observable and controllable.
- These properties are not assigned any graphical representation; rather,
the properties are indicated in the Status Panel labelled Automaton.
- If the transition is observable (controllable, respectively), the observable
(controllable) box associated with the given transition will contain a checkmark.
- The graph layout will change with the addition of new states or transitions if the user has 'AutoLayout' turned on.
The user can prevent auto-layout by turning the option off in their user profile.
Examples:
- trans 1 2 trans_1 -UOUC (will create a transition
from state 1 to state 2 called trans_1 that is both unobservable and uncontrollable);
- t 1 2 trans_1 -UO (will create a transition
from state 1 to state 2 called trans_1 that is unobservable, but controllable).