digraph state_automaton {
	{node [shape = circle] "state_b"};
	{node [shape = circle] "state_c"};
	{node [shape = plaintext, style=invis, label=""] "__init_state_a"};
	{node [shape = doublecircle] "state_a"};
	{node [shape = circle] "state_a"};
	"__init_state_a" -> "state_a";
	"state_a" [label = "state_a"];
	"state_a" -> "state_b" [ label = "event_1" ];
	"state_a" -> "state_c" [ label = "event_2" ];
	"state_b" [label = "state_b"];
	"state_b" -> "state_a" [ label = "event_2" ];
	"state_b" -> "state_c" [ label = "event_3" ];
	"state_c" [label = "state_c"];
	{ rank = min ;
		"__init_state_a";
		"state_a";
	}
}