拡張状態遷移図 Extended state transition diagram