17 lines · plain
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