状態遷移表での番号をステートマシン図に表示

サポート宛に頂きましたご質問の要約です。

○ご質問

状態遷移表形式で表示した場合に、状態要素にS1などの番号が表示されます。
この番号をステートマシン図で確認することはできますか？

○回答

ご質問にありますステート番号(S0,S1,...)につきましては、表示された
状態遷移表内でのみ整合性が取られており、値が変わることがあります。

具体的には、状態遷移表で状態名の部分を選択し、SHIFTキーを押しながら
上下カーソルキー(行ならば左右カーソルキー)を押すことで順序が変わりますが
ステートマシン図に戻して再度状態遷移表にすると、ステート番号は
振り直されます。


もし、このような操作が行われないのであれば、手作業になりますが、
状態要素のプロパティ画面で、「別名」にステート番号を入力し
ダイアグラム内で別名を表示する方法があります。

・ダイアグラムの背景でダブルクリックし、「ダイアグラム」タブの
　「別名で表示」にチェックを入れます。
・「ツール」→「オプション」でオプション画面を表示させ、「振る舞い」
　グループにある「別名の表示方法」で「別名と名前」を選択します。