The graph above is generated via SVG.

You can move the state bubbles by dragging them with your mouse.

Drag the empty space to move the camera. Scroll to zoom.

DoubleClick into empty space to autolayout nodes. DoubleClick onto node to delete. Ctrl/Cmd-Click into empty spaces creates a node. Alt-Drag between nodes to create a connection.