我应该对 tikz 中的有限状态机使用哪种绘图方法？

Question

我有一个具有 4 个状态和几十个箭头的有限状态机。

我应该用哪种方法来绘制它？

图形绘制部分pgf 手册

使用 \graph

Petri 网示例

使用 \node 和 \edge

上面的图形绘制部分列出了更多内容。

哪一个最适合有限状态机绘图任务？

编辑：自动机绘图库给出了另一种方法，但我不确定它是否能正确处理我的几十支箭