1digraph state_automaton { 2 {node [shape = plaintext, style=invis, label=""] "__init_not_running"}; 3 {node [shape = ellipse] "not_running"}; 4 {node [shape = plaintext] "not_running"}; 5 {node [shape = plaintext] "running"}; 6 "__init_not_running" -> "not_running"; 7 "not_running" [label = "not_running", color = green3]; 8 "not_running" -> "not_running" [ label = "wakeup" ]; 9 "not_running" -> "running" [ label = "switch_in" ]; 10 "running" [label = "running"]; 11 "running" -> "not_running" [ label = "switch_out" ]; 12 { rank = min ; 13 "__init_not_running"; 14 "not_running"; 15 } 16} 17