graphvizはあくまで静的な図を描画するツールなので、トークンが「動く様子」そのものを直接アニメーションとして表示する機能はありません。 しかし、ペトリネットの状態変化（トークンの移動）を段階的に描画し、それを連続して表示することで「動い ...