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

Port-type tag marking menu

Port-type tag marking menu

Clone PorttypeTag Delete PorttypeTag Show Superpage

Read Me Leave comment