# Flat Project Editor Window

The Flat Project Editor window (FPE) allows you to define, modify, or save flat projects. This is where you also check project properties such as the project’s validity, and whether it is nonblocking and controllable. The left pane of the project window shows the project structure: the DES that make up the supervisor and the DES that make up the plant. The right pane shows the project details in the form of three tabs.

The Summary tab displays a summary of the project properties: the name of the project, its type and the location of the file where the project resides on disk. In addition to these properties the summary tab also shows several properties including the date and time they were checked. Note that if a property has not been checked, the pane that corresponds to it will read “'property name' has not been checked yet”.

The DES View tab displays the contents of the currently selected DES in the project. The following figure shows the current DES is Sup-Des-1 and its contents are displayed in the DES View tab. Note that when hovering with the mouse over a state, event or transition, a tooltip will show all the necessary details. This view allows users to look at a DES without opening an editor.

The Output Tab shown below displays the output of the different tools that are used in the editor. For example, it will show the output of the validity check, including any errors or warnings, the output of the controllability and nonblocking algorithms, as well as system measurements . The output from a specific tool can be selected by clicking on the Show Output From drop down box and selecting the desired output type.

« Project Editor | Flat Project Validity »