시간 페트리네트를 이용한 자동물류 취급시스템의 설계 및 운용제어