페트리 넷을 이용한 제조 셀의 성능평가