Shift to include objects into a selection and Ctrl to exclude objects from a selection.Ctrl+A to select all objects or Esc to reset selection.Ctrl+C to copy, Ctrl+X to cut and Ctrl+V to insert.Ctrl+Z to undo and Ctrl+Shift+Z to redo.Ctrl+G combines selected objects into a group and Ctrl+Shift+G ungroups them.PageDown or double-click a group to enter it. Press PageUp or double-click outside a group to leave it.+ to zoom in and - to zoom out.Ctrl+right mouse button or Ctrl+arrow keys to pan the view.[ and ] keys to navigate through the simulation trace.punf with -r option to replicate Petri net places sensed by read-arcs and speed up the unfolding.petrify with -nosi option to allow synthesis of non-speed-independent specifications.-lib tools/petrify.lib to the petrify options to enable technology mapping into this library.