1281.13 시간 기반 전이 조건의 설계