Necessary And Sufficient Conditions For Deadlock In A Manufacturing System