How to create new states

There are several ways to create new states in a workspace. States can be created via the command line or using the batch window . It is possible to create states that initially have no markings or it is possible to use flags to indicate that a state has special properties (e.g., initial, marked).

A state can also be added by right-clicking in the graph, and selecting "Add State" from the pop-up menu, but note that this method does not allow for flags.

Using the Command Line

There are two ways to create a state without flags:

Both versions of the command achieve the same result. If the state is created successfully, a circle (or ellipse if automatic state resizing is enabled), with state_name displayed at its center, will appear in the workspace. Also, the status bar will be updated with a message indicating success. By default, the first state you create is the initial state.

DESUMA accepts most strings as state names; however, state names containing blanks are not accepted.

Multiple States

Multiple states can be created via the command line or the batch window.  For either case, the syntax is:
The names of the states are automatically assigned based on the following rules: Example: ms 3 will provide the states {s1, s2, s3} if these states do not already exist.

Flags

It is also possible to create a state and initially assign it some properties using the flags options. The syntax is as follows:
state state_name [flags]
s state_name [flags]
-i -I
tags the state as the initial state (graphically indicated by displaying the state name in blue)
 
-m -M
gives the state the marked property (graphically indicated by a double circle in the workspace).
Note: Examples: