deadlock 2 [OS] 페트리 넷(Petri Net) 4가지 핵심 속성 - 그림으로 판별하기 Feb 7, 2026 [OS] 세마포어(Semaphore)와 데드락(Deadlock) - 시험장용 완벽 정리 Feb 7, 2026