TAB Editor: Creating a Transition


From the Tabular Editor window, select the Transitions menu, then click Add Transition, or from the toolbar click on the Add Transition button Add Transition Button jpg. This will open the DES Transition Editor dialog box.

Add Transition Dialog Box jpg

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 Record Transitions Button jpg. 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.


« Transitions   |   Change Transition »