User Tools

Site Tools


help:tips

Tips and Tricks

Selection

  • 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.
  • 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

  • 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. libraries/workcraft.lib.
  • In order to speed up the unfolding of Petri nets with read arcs add -r of Punf tool – the places sensed by read-arcs will be replicated.
  • 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.