Quelle  wwnr.dot   Sprache: unbekannt

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