Siphon 특성을 이용한 이산사건 시스템의 Deadlock 회피