オートマトンとかペトリネットとか検索したけど難しそう。
>ストーリーが破綻しないことを検証する技術
とりあえず時間が戻ったりしないストーリーについて考えてみる。
それなら木の構造でかんがえられるよね。
一本の木がストーリーで、節がクエスト、葉はエンディングとする。