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}

 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}