| digraph state_automaton { |
| {node [shape = circle] "state_b"}; |
| {node [shape = circle] "state_c"}; |
| {node [shape = plaintext, style=invis, label=""] "__init_state_a"}; |
| {node [shape = doublecircle] "state_a"}; |
| {node [shape = circle] "state_a"}; |
| "__init_state_a" -> "state_a"; |
| "state_a" [label = "state_a"]; |
| "state_a" -> "state_b" [ label = "event_1" ]; |
| "state_a" -> "state_c" [ label = "event_2" ]; |
| "state_b" [label = "state_b"]; |
| "state_b" -> "state_a" [ label = "event_2" ]; |
| "state_b" -> "state_c" [ label = "event_3" ]; |
| "state_c" [label = "state_c"]; |
| { rank = min ; |
| "__init_state_a"; |
| "state_a"; |
| } |
| } |
