Graphviz可以用于状态机图的绘制

要绘制一张状态图，我们需要两个图形元素

结点，边

结点和边都有自己的属性

结点可以是圆、矩形、填充

边有粗细