| digraph state_automaton { |
| {node [shape = plaintext, style=invis, label=""] "__init_not_running"}; |
| {node [shape = ellipse] "not_running"}; |
| {node [shape = plaintext] "not_running"}; |
| {node [shape = plaintext] "running"}; |
| "__init_not_running" -> "not_running"; |
| "not_running" [label = "not_running", color = green3]; |
| "not_running" -> "not_running" [ label = "wakeup" ]; |
| "not_running" -> "running" [ label = "switch_in" ]; |
| "running" [label = "running"]; |
| "running" -> "not_running" [ label = "switch_out" ]; |
| { rank = min ; |
| "__init_not_running"; |
| "not_running"; |
| } |
| } |
