Tabular Editor


When a DES is created or opened in the Tabular Editor, the following window is displayed.

Tabular Editor Window jpg

The DES Tabular Editor window allows you to create and edit DES as well as save them into DES files (*.des). Through the editor, you can validate a DES and can verify different DES properties such as reachability and nonblocking.

The Tabular Editor window has 4 main parts:

In addition, the Tabular editor also has an output panel where the output of the different algorithms is shown.

To create a DES, in general, you must first create a state, then an event and then connect that state to another state in the form of a transition. Note that states, events, and transitions offer access to related functionality via context menus. Context menus are opened by right clicking on the object.


« DES Editor   |   States »