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

Monitor name marking menu

Monitor name marking menu

The Monitor name marking menu is accessed by bringing up a marking menu either on the name of a monitor in the index: or a monitor block in the index: Clone monitor Delete monitor Disable Enable Generate template code New block

Read Me Leave comment