Narahari, Y and Viswanadham, N and Prasad, Krishna KR (1990) Markovian models for deadlock analysis in automated manufacturing systems. In: Sadhana, 15 (4-5). pp. 343-353.
Deadlocks constitute a major issue in the design 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.
|Item Type:||Journal Article|
|Additional Information:||Copyright of this article belongs to Indian Academy of Sciences.|
|Keywords:||Markovian models; deadlock analysis; automated manufacturing systems; discrete event systems; mean time to deadlock.|
|Department/Centre:||Division of Electrical Sciences > Computer Science & Automation (Formerly, School of Automation)|
|Date Deposited:||07 Mar 2008|
|Last Modified:||19 Sep 2010 04:43|
Actions (login required)