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