Hold Shift to include objects into a selection and Ctrl to exclude objects from a selection.
Outline a selection rectangle from-left-to-right for adding objects that are inside the selection region, and from-right-to-left for adding objects touched by the selection region.
Press Crtl+A to select everything or Ctrl+I to inverse the selection.
Use left mouse button or ←, ↑, →, ↓ to move selected components.
Selected components can be removed by pressing Delete.
Press Ctrl+A to select all objects or Esc to reset selection.
Connection
A polyline connection can be created by generating anchor points (click outside of existing nodes) before clicking the final node.
Anchor points can be added to a connection by double-clicking a desired location on the connection line while the Selection tool is active.
Hold Ctrl to connect continuously – the final node or a previous connection becomes the starting node for the next connection.
Hold Shift to create a replica node for a connection (only works for cirtain types of nodes, e.g. places of Petri nets and Signal Transition Graphs).
Clipboard and History
Clipboard operations are allowed between the models of the same type: Ctrl+C to copy, Ctrl+X to cut and Ctrl+V to insert.
History of modifications can be browsed: Ctrl+Z to undo and Ctrl+Shift+Z to redo.
Navigation and Grouping
Ctrl+G combines selected objects into a group and Ctrl+Shift+G splits selected groups into individual objects.
Press Page↓ or double-click a group to enter it. Press Page↑ or double-click outside a group to leave it.
Scroll the mouse wheel forward to zooms in and backward to zoom out. Alternatively press = to zoom in and − to zoom out. Press Ctrl+0 to restore the default scale.
Press Ctrl+F to fit the selection into the screen or Ctrl+T to centre it.
Use the middle mouse button or Ctrl+right mouse button or Ctrl+←, ↑, →, ↓ to pan the view.
Simulation
Use [ and ] keys to navigate through the simulation trace.
In Signal-State table the values of excited signals are depicted in bold font.
Settings
In order to speed up the unfolding of Petri nets with read arcs add -r option to punf tool – the places sensed by read-arcs will be replicated.
Use petrify with -nosi option to allow synthesis of non-speed-independent specifications.
Specify gate library path relative to the Workcraft home directory, e.g. tools/petrify/petrify.lib.
In the top-left corner of the editor, between the horizontal and vertical rulers, there are four small toggle-buttons. These buttons provide a quick control for visibility of the grid, the rulers, the names and labels of graph elements.