Кто знает такие програмки? (описание внутри)

Программы для составления проектов или что-то вроде того. Т. е. пишем состояние А, состояние Б. А между ними можно поставить стрелочки и промежуточные события.
Можно как под винду так и под Linux

Я попробовал нарисовать это на картинках [ссылка появится после проверки модератором]