状態遷移パス抽出アドインのバグ修正を行いましたので、お知らせいたします。

遷移パスの抽出において、親状態の中に選択点での分岐がある場合の
抽出されるパス情報が適切になるように修正いたしました。

このアドインの詳細とダウンロードは、以下のページをご覧下さい。
https://www.sparxsystems.jp/products/EA/tech/Addins.htm