Petri Net을 이용한 시간논리 구조의 표현