그리고 나 서 , 이 결과 는 단계 ( 660 ) 에서 검사 되 고 , " 이 단계 는 상기 코드 에서 "" 천 이 "" 명령 에 대응 한다 . 단계 ( 660 ) 에서 이 결과 가 참 이면 "," 상태 는 "" 가용성 검사 ( Check Availability ) "" 상태 인 상태 ( 670 ) 로 천이 한다 . 그렇 지 않 으면 "," 상태 는 "" 전송 거절 ( Send Rejected ) "" 상태 ( 도시 되 지 않 음 ) 로 진행 한다 . "