Create tools

Create tools

The create tools are used when creating and working with the basic net structure. It contains tools for creating, deleting, and cloning the basic net elements, i.e. places, transitions, and arcs. It also contains the guideline tools for easy aligning of net elements.  

Read Me Leave comment

Page name marking menu

Page name marking menu

Page name marking menus are accessed by bringing up a marking menu on a page name in the index. The following menus are shown for the following kinds of pages: A page that is not a subpage, i.e. a page at the top level in the index A page that is a subpage, and when there is only one instance of the page A page […]

Read Me Leave comment