generated at
ステートマシン図
→ 状態遷移図