Return to Article Details Design of River System Deadlock Avoidance Supervisor by Using Petri Net Download Download PDF