From the Tabular Editor window, select the Transitions menu, then click
Add Transition, or from the toolbar click on the Add Transition button .
This will open the DES Transition Editor dialog box.
Using the From state drop-down box, select the state that the transition will start at, once the transition occurs.
Using the Event drop-down box, select the event that will execute the transition.
Using the To State drop-down box, select the state that the DES will move to when the transition occurs.
By checking the Self-transition box, a self loop will be created using the selected From State and Event.
Another way to create a transition is by using the Record Transition function.
From The Transitions menu select Record Transitions or from the toolbar click the
Record Transitions button .
This will start recording transitions based on the states and events you click. The Output pane shows
you what part of the transition you need to select next. Once the Record Transitions function has started,
in the States pane, click on the Start State for your transition. Next, click on the Event
in the Events pane that you want to execute your transition. Finally, select the End State from the
States pane. Once you select these three items, you will notice a new transition will be added to the
Transitions pane. Be aware that you can continue clicking on states and events to create more transitions.
To exit the Record Transitions function, click the Record Transitions button again.
Please Note: DESpot only allows the creation of deterministic DES, thus the editor will not allow the creation of a transitions leaving a given state if there already exists another transition leaving the same state with the same event.