1digraph state_automaton { 2 {node [shape = circle] "state_b"}; 3 {node [shape = circle] "state_c"}; 4 {node [shape = plaintext, style=invis, label=""] "__init_state_a"}; 5 {node [shape = doublecircle] "state_a"}; 6 {node [shape = circle] "state_a"}; 7 "__init_state_a" -> "state_a"; 8 "state_a" [label = "state_a"]; 9 "state_a" -> "state_b" [ label = "event_1" ]; 10 "state_a" -> "state_c" [ label = "event_2" ]; 11 "state_b" [label = "state_b"]; 12 "state_b" -> "state_a" [ label = "event_2" ]; 13 "state_b" -> "state_c" [ label = "event_3" ]; 14 "state_c" [label = "state_c"]; 15 { rank = min ; 16 "__init_state_a"; 17 "state_a"; 18 } 19} 20