Petri Net를 이용한 서로 다른 관리 망 연동 시스템의 모델링