Может ли Graphviz отображать диаграммы перехода состояний таким образом?

Может ли Graphviz точно отображать диаграммы перехода состояний?

http://upload.wikimedia.org/wikipedia/commons/c/cf/Finite_state_machine_example_with_comments.svg

=== Edit ===

Код Marapet очень близок (см .: http: // i .imgur.com / ElzSl.png ). Я принимаю его ответ.