Здравствуйте, gyraboo, Вы писали:

G>Много чего перепробовал, в итоге пришёл к использованию UMLet для этих целей.

Как по мне, так Dia лучше UMLet.

G>Он удобен всем, кроме неумения автоматически "перераспределять" диаграмму, чтобы уменьшить пересечение линий. В итоге получается, если состояний 10 и более, и кол-во переходов большое, начинается ад из пересечений этих линий.

Не помню чтобы какая-то гуишная программа такое умела. Зато это умеют различные генераторы диаграмм, типа такого — диаграммы состояний plantuml.