To edit a state make sure you are in Selection mode.
Then select the state you wish to edit and click on the Edit button
on the toolbar.
Alternatively, right-click on the state and select Edit. This will reopen
the DES State Editor dialog box.
Change the properties you wish and click OK.
To move a state to a different graphical position in the DES, make sure that you are in
Selection mode.
Click on the state you wish to move and drag it to a different position in the DES. This will also move the
State Name Label. You can move just the State Name Label by clicking and dragging the label to a
new position in the DES.
Notice when you have a state selected, the State Name Label will also be highlighted with a dotted border.