1281.26 카운터 기반 전이 조건의 설계