구조 유효성 검증의 세 번째 세트로 블록 검사가 수행됩니다. 이를 통해 플로우 그래프가 올바른 블록 구조인지 확인합니다.
블록 시작 구조체는 시작 프로세스 활동, 루프 시작 활동, 병렬 (AND) 분할 및 선택항목 (XOR) 분할이 있습니다. 해당하는 블록 종료 구조체는 종료 프로세스 활동, 루프 종료 활동, 병렬 (AND) 분할 및 선택항목 (XOR) 결합이 있습니다.
이를 기반으로 하여 다음 블록 구조 유효성 검증을 실행합니다.