Задача заключается в следующем: 
1. Рисуем состояние автомата (окружность)
2. Рисуем второе состояние автомата (окружность)
3. На одном из автоматов кликаем мышкой => появляется менюшка, в которой мы можем задать переход из одного состояния в другое (линия со стрелкой из одной окружности в другую)

При этом при создании состояния автомата создается эквивалентный ему объект State в коде. 

Что лучше использовать для рисования? (хотелось бы, чтобы при перетаскивании одной окружности другая осталась на месте, а линия со стрелкой растягивалась, т.е. что-то напободие диаграмм в Visual Studio для DataSet)