1326.25 공유 자원과 상호 배제 제약의 모델링