Add
Drag a node to move it · drag from its right stub onto another node to draw an arc
Arcs must alternate place → transition → place
Double-click an enabled transition to fire it by hand
Drag the sheet to pan · scroll to zoom · Del removes the selection
Space run/pause · S step · R reset