ステートマシン図を元に状態遷移表を自動生成します。
表は、リアルタイムに更新されるので、ステートマシン図を作成しながら仕様の抜け漏れを確認できます。また、遷移の前状態と後状態を軸に取った一般的な状態遷移表だけでなく、イベント視点から状態遷移を考えられる[状態]と[イベント]の遷移表も備えています。各状態でイベントが起こりえない(can not happen)か、無視する(ignore)かを設定でき、
状態遷移パスプラグインと併用することで、無視する(ignore)を設定した場合に、ignoreも考慮したパスも抽出することもできます。