Graphviz可以像这样呈现状态转换图吗?

Question

Graphviz可以完全像这样呈现状态转换图吗?

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

===编辑===

Marapet的代码非常接近(参见:https://i.stack.imgur.com/IorMH.png)。我接受他的回答。

Answer 1

我将为转换条件创建节点:

digraph g{
  Opened[label="1nOpenednE: open door"];
  Closed[label="2nClosednE: closed door"];
  node[shape=plaintext];
  Opened -> close_door[arrowhead=none];
  close_door -> Closed;
  Opened -> open_door[dir=back];
  open_door -> Closed[arrowhead=none];
}

Answer 2

我将在箭头上使用label，而不是为close_door创建一个节点:

打开->关闭[label=close_door];