| 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"; | |
| } | |
| } |