1.1.2. Creation and Deletion of Objects

Objects can be created by clicking onto the tab 'Repository' and then onto the specific item depending on the object to be created. An alternative is to click onto the small green '+' button below the repository panel and then selecting the requested object. In both cases a new window opens asking for input parameters. Note: In some cases it might not be possible to create an object because a necessary input parameter is missing. For example you can only create an automaton if you have a signature in the repository. In such a case create or load the necessary object into the repository and retry to create the object.

Objects can be deleted by selecting the specific object in the repository panel (i.e. the upper right part of the GUI) and clicking onto the red '-' button directly below this panel.