Petri net을 이용한 제조시스템의 워크플로우 모델링