In: Proceedings of Rensselaer's Second International Conference on Computer Integrated Manufacturing, 1990, Troy, NY, USA, pages 64-68. Los Alamitos, CA, USA: IEEE Comput. Soc. Press, 1990.
Abstract: Petri net and Markov chain models are developed for manufacturing systems with blocking and deadlock. The authors compute the probability that the system is 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: performance analysis (of) automated manufacturing systems (with) blocking (and) deadlock; Markov chain; performance (of) prevention (and) avoidance strategies; lock; interlocks; reachability graph.