Delete an element Apply the Delete tool to an element, or select the Delete entry from the element’s marking menu. The element will be deleted. Other elements that are dependent on the element may also be deleted. For example, When a place or transition is deleted, all of its inscriptions and surrounding arcs are also deleted. When a declaration is deleted, the other declarations and […]
Cycle the arc-direction Apply the tool to an arc, or select the Change Direction entry from the arc marking menu. The arc changes direction, and the net is rechecked. Apply this tool to an arc in a group to apply it to all arcs in the group (see more on the Groups page). The following arc directions are available: Place to transition Both directions Transition […]
Create a new transition Apply the Create Transition tool to a page, or select the New Transition entry. A new transition is created under the cursor with the default attributes. This tool is available through: Options The default height and width of new transitions can be changed by editing the text in the tool entry in the index.
Create a new Place Apply the Create Place tool to a page, or select the New Place entry. A new place is created under the cursor with the default attributes. This tool is available through: Options The default width and height of new places can be changed by editing the text of the Create place index entry.
Create a magnetic guideline. Apply the tool to a page. A guideline is created under the cursor. It is either horizontal or vertical, as indicated by the icon. All elements near the newly created guideline will automatically be attached to the guideline. Drag elements over one or more guidelines to attach them to the guideline. An element is also attached to a guideline, if it […]
Create an arc between a place and a transition. Apply the tool to a node (place or transition), or select the New Arc entry in the node’s marking menu. Click on the page-background to create bend points. Click on a node of the opposite type of the starting node to end the arc, or double click to create a node of the opposite type, and […]
Clone an element Apply the tool to an element, or select the Clone entry from the element’s marking menu. The selected element is cloned; that is, a new element with the same attributes as the original one is put into the hand as a tool. If the selected element is an element in a group, then all of the elements in the group are cloned. […]