Markovian models for deadlock analysis in automated manufacturing systems

Narahari, Y. ; Viswanadham, N. ; Krishna Prasad, K. R. (1990) Markovian models for deadlock analysis in automated manufacturing systems Sadhana (Academy Proceedings in Engineering Sciences), 15 (4-5). pp. 343-353. ISSN 0256-2499

PDF - Publisher Version

Official URL:

Related URL:


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:Article
Source: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
ID Code:30373
Deposited On:22 Dec 2010 10:23
Last Modified:17 May 2016 13:02

Repository Staff Only: item control page