Quelle  sssw.dot   Sprache: unbekannt

digraph state_automaton {
 center = true;
 size = "7,11";
 {node [shape = plaintext, style=invis, label=""] "__init_runnable"};
 {node [shape = doublecircle] "runnable"};
 {node [shape = circle] "runnable"};
 {node [shape = circle] "signal_wakeup"};
 {node [shape = circle] "sleepable"};
 {node [shape = circle] "sleeping"};
 "__init_runnable" -> "runnable";
 "runnable" [label = "runnable", color = green3];
 "runnable" -> "runnable" [ label = "sched_set_state_runnable\nsched_wakeup\nsched_switch_in\nsched_switch_yield\nsched_switch_preempt\nsignal_deliver" ];
 "runnable" -> "sleepable" [ label = "sched_set_state_sleepable" ];
 "runnable" -> "sleeping" [ label = "sched_switch_blocking" ];
 "signal_wakeup" [label = "signal_wakeup"];
 "signal_wakeup" -> "runnable" [ label = "signal_deliver" ];
 "signal_wakeup" -> "signal_wakeup" [ label = "sched_switch_in\nsched_switch_preempt\nsched_switch_yield\nsched_wakeup" ];
 "signal_wakeup" -> "sleepable" [ label = "sched_set_state_sleepable" ];
 "sleepable" [label = "sleepable"];
 "sleepable" -> "runnable" [ label = "sched_set_state_runnable\nsched_wakeup" ];
 "sleepable" -> "signal_wakeup" [ label = "sched_switch_yield" ];
 "sleepable" -> "sleepable" [ label = "sched_set_state_sleepable\nsched_switch_in\nsched_switch_preempt\nsignal_deliver" ];
 "sleepable" -> "sleeping" [ label = "sched_switch_suspend\nsched_switch_blocking" ];
 "sleeping" [label = "sleeping"];
 "sleeping" -> "runnable" [ label = "sched_wakeup" ];
 { rank = min ;
  "__init_runnable";
  "runnable";
 }
}