Finite State Machine Designer - Add a state:double-click on the canvas Add an arrow:select one state, and then shift-click...