Since editors can be opened, compilers can be invoked, algorithms can be started, etc., the objects of a project may, at any time, be in different states and various relationships with each other. In addition to the objects themselves and their states, therefore, this window shows the current relationship between the objects of a project. It also allows to specify options for the algorithms and compilers.
The following objects may belong to a project:
The central part of the project window contains one icon for each object. Depending on the state of the project, one of these objects may be associated with another one. Perhaps an M-net has been generated out of the B(PN)² program. These relations are presented in a graphical way. All possible relations are displayed by arcs. If object A currently belongs to object B then the arc from A to B is coloured green, otherwise it is coloured red (if a relation is possible but currently not present).
Each object icon contains one or two smaller icons. The top icon tells the user whether or not this object exists. It is coloured green if the object exists and crossed out red if the object does not exist. If this icon is green then there exists a file for the object. If the cursor is placed over the corresponding icon, the location and the file name are displayed under the main part of the window together with further information about the corresponding object. The second icon (if one exists) tells the user whether or not the corresponding editor is currently opened. If the editor is not opened it can be opened by a double-click on this icon, otherwise it is shuffled up to be completely visible.
In the bottom part of the window, the progress of the main actions (invocation of the editors, the algorithms and the compilers, and their results) are reported.
Underneath the pull-down menus, two lines of project information are displayed.
The Close Project button can be used to close the project. But be careful, the contents of every opened editor are saved by default before closing! If you want to discard the changes you can use the menu item Edit>Close>Discard Files.