학술논문

Markovian models for deadlock analysis in automated manufacturing systems
Document Type
Article
Source
Sadhana - Academy Proceedings in Engineering Sciences; December 1990, Vol. 15 Issue: 4-5 p343-353, 11p
Subject
Language
ISSN
02562499; 09737677
Abstract
Deadlocks constitute a major issue in the desing and operation of discrete event systems. In automated manufacturing systems, deadlocks assume even greater importance in view of the automated operation. In this paper, we show that Markov chains with absorbing states provide a natural model of manufacturing systems with deadlocks. With illustrative examples, we show that performance indices such as mean time to deadlock and mean number of finished parts before deadlock can be efficiently computed in the modelling framework of Markov chains with absorbing states. We also show that the distribution of time to deadlock can be computed by conducting a transient analysis of the Markov chain model.