Editing using the keyboard

There are plenty of integrated key commands and combinations to change a net. As a consequence nets can be created and edited in a more efficient way.

  •  CTRL+c: Copies a selection of elements.
  •  CTRL+x: Cuts a selection of elements.
  •  CTRL+v: Pastes the cut or copied selection of elements.
  •  CTRL+z: Undo previous action.
  •  CTRL+a: Selects every element in the net.
  •  CTRL+d: Deselects every element in the net.
  •  CTRL+e or CTRL+f: Selects all arcs.
  •  CTRL+p: Selects all places.
  •  CTRL+t: Selects all transitions.
  •  CTRL+l: Opens a dialog to save the net in PDF format.
  •  Delete key: Deletes the elements which are selected.
  •  Arrow keys: Moves the selection of elements in a direction.
  •  CTRL+Arrow key: Draws an arc from the selected element to a new place or transition respectively.