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

Place marking menus

Place marking menus

consists of the following entries: Add surrounding transitions Assign to socket Clone Elements Clone Place Delete elements Delete Place New Arc Show Marking Toggle Group

Read Me Leave comment