Performance analysis of automated manufacturing systems with blocking and deadlock
N. Viswanadham, Taylor L. Johnson, Y. Narahari · 2002
Petri net and Markov chain models are developed for manufacturing systems with blocking and deadlock. The authors compute the probability that the system in an absorbing (deadlocked) state, the mean time to deadlock, and the throughput before deadlock, etc., which can be used to compare the performance of various prevention and avoidance strategies. A systematic method for designing locks and interlocks for deadlock avoidance using the reachability graph of the Petri net model is presented.>