أرسل هذا في رسالة قصيرة: Deadlock detection and avoidance in FMS with shared resources and parallel machines using Petri net /