複雑な状態の変化を、漏れなくマトリクス形式で整理したものはどれか。

テーブル形式にすることで、図では見落としがちな特定の状態でのイベントの抜け漏れを確認しやすい。