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:

  1. Type trans from_state_name to_state_name transition_name into the command line and hit <Enter>:
  2. 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:

Examples: