페트리넷을 이용한 자율주행 서비스로봇의 오류검지 및 복구 프레임워크