ペトリネット

繰り返し言うが、証明図やオートマトンの状態遷移図を描くときは、単なる有向グラフではなくて、ペトリネットで描くべき。ペトリネットなら、有向ハイパーグラフの有向ハイパー辺も遷移ノードとして描ける。ツリー・オートマトンの遷移規則も遷移ノードとして描ける。