Timed Petri Nets를 이용한 공장자동화시스템의 스케쥴링 ( Scheduling of Factor Automation Systems Using Timed Petri Nets )