用Graphviz画状态图