У меня есть несколько относительно простых (автоматически сгенерированных) графиков в формате graphviz dot. Они показывают путь через конечный автомат, но у точки есть немного сбивающая с толку привычка решать, что два узла должны быть в одном ранге, когда я хочу, чтобы граф был в порядке состояний. Я перепробовал много настроек (включая :n и :s и weight, перечисленные ниже), но не могу убедить точку поместить третье состояние над четвертым состоянием.
У меня есть эта проблема с большим количеством графов: кажется, есть что-то внутреннее, что решает, что было бы лучше, если бы два узла были на одном ранге, и ничего нельзя сделать, чтобы переопределить это. У меня даже был код, который указывает, что один узел должен быть rank=sink, но точка все равно решила поместить другой узел под ним.
Есть ли способ предложить расставить точки, что более важно, чтобы узлы были в порядке, чем любое другое ограничение?
Код, который использовался для создания графика, выглядит следующим образом:
digraph {
ERROR [label="Error"];
FirstSTATE [label="Initial State" URL="\ref FirstSTATE"];
FirstSTATE -> SecondSTATE;
SecondSTATE [label="Second State" URL="\ref SecondSTATE"];
SecondSTATE -> ThirdSTATE;
ThirdSTATE [label="Third State" URL="\ref ThirdSTATE"];
FourthSTATE [label="Fouth State?" shape="diamond"];
ThirdSTATE:s -> FourthSTATE:n [weight=50];
FourthSTATE -> FifthSTATE [label="Yes" ];
FourthSTATE -> ThirdSTATE [label="No"];
FifthSTATE [label="Fifth State" URL="\ref FifthSTATE"];
SixthSTATE [label="Sixth State?" shape="diamond"];
SixthSTATE -> ERROR [label="Yes" ];
SixthSTATE -> SeventhSTATE [label="No"];
FifthSTATE -> SixthSTATE;
SeventhSTATE [label="Seventh State" URL="\ref SeventhSTATE"];
SeventhSTATE -> EighthSTATE;
EighthSTATE [label="Eighth State" URL="\ref EighthSTATE"];
NinthSTATE [label="Ninth State?" shape="diamond"];
NinthSTATE -> TenthSTATE [label="Yes" ];
NinthSTATE -> EighthSTATE [label="No"];
EighthSTATE -> NinthSTATE;
TenthSTATE [label="Tenth State" URL="\ref TenthSTATE"];
EleventhSTATE [label="Eleventh State?" shape="diamond"];
EleventhSTATE -> ERROR [label="Yes" ];
EleventhSTATE -> TwelfthSTATE [label="No" ];
TenthSTATE -> EleventhSTATE;
TwelfthSTATE [label="Twelfth State" URL="\ref TwelfthSTATE"];
}
В настоящее время график выглядит следующим образом: 
