Title :
Performance analysis of automated manufacturing systems with blocking and deadlock
Author :
Viswanadham, N. ; Johnson, T.L. ; Narahari, Y.
Author_Institution :
Dept. of Comput. Sci. & Autom., Indian Inst. of Sci., Bangalore, India
Abstract :
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
Keywords :
Markov processes; Petri nets; manufacture; Markov chain models; Petri net model; automated manufacturing systems; blocking; deadlock; interlocks; locks; performance analysis; probability; reachability graph; Control systems; Machining; Manufacturing systems; Performance analysis; System recovery; Throughput;
Conference_Titel :
Computer Integrated Manufacturing, 1990., Proceedings of Rensselaer's Second International Conference on
Conference_Location :
Troy, NY
Print_ISBN :
0-8186-1966-X
DOI :
10.1109/CIM.1990.128072
