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 area from-right-to-left for adding fully covered objects, and from-left-to-right for adding any touched objects.
  • 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.

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 ungroups them.
  • 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.
  • 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 punf with -r option to replicate Petri net places sensed by read-arcs and speed up the unfolding.
  • Use petrify with -nosi option to allow synthesis of non-speed-independent specifications.
  • Add -lib tools/petrify.lib to the petrify options to enable technology mapping into this library.