# Tabular Editor

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

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:

- The state editor composed of two panels: the state list and the state quick look. The state list simply lists all the states and their properties. The state quick look pane shows the enter-events, loops and exit-events for the currently selected state.
- The event editor lists all the events in the event set of the DES.
- The transition editor is split into two parts: the top part shows the regular transitions; the bottom parts shows transitions that are self-looped at every state in the DES.

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 »