表示されているステートマシン図について、指定した回数の遷移としてどのようなパターンが
あるのか、抽出して一覧で表示するアドイン「状態遷移パス抽出アドイン」を公開しました。

https://www.sparxsystems.jp/products/EA/tech/tc_51.htm#50

一覧内の項目を選択すると、ダイアグラム内の要素や接続の色が変わり、実際の遷移を
確認できます。ビルド909以降で動作します。

関連する内容として、以下のドキュメント「ステートマシン図の整合性確保 マニュアル」もご覧ください。

https://www.sparxsystems.jp/bin/docs/State.pdf