Markovian models for deadlock analysis in automated manufacturing systems

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.

PDF 351.pdf Download (602kB)

Abstract

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
Publication:	Sadhana
Publisher:	Indian Academy of Sciences
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
Date Deposited:	07 Mar 2008
Last Modified:	19 Sep 2010 04:43
URI:	http://eprints.iisc.ac.in/id/eprint/13311

Actions (login required)

View Item