digraph FSM {
rankdir = LR;
size = "8.5,11";
label = ""
center = 1;
nodesep = "0.250000"
ranksep = "0.400000"
orientation = Landscape
0 [label = "0", shape = circle, style = bold, fontsize = 32]
   0 -> 1 [label = "Transition1", fontsize = 32];
1 [label = "1", shape = circle, style = solid, fontsize = 32]
   1 -> 2 [label = "Transition3a1", fontsize = 32];
   1 -> 2 [label = "Transition3a2", fontsize = 32];
2 [label = "2", shape = doublecircle, style = solid, fontsize = 32]
}