Skip to main content
SpringerLink
Log in

Markovian models for deadlock analysis in automated manufacturing systems

  • Stochastic Models For Manufacturing Systems
  • Published:
Sadhana Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Buzacott J A, Yao D D 1986 Flexible manufacturing systems: A review of analytical models.Manage. Sci. 32: 890–905

    Google Scholar 

  • Gross D, Miller D R 1983 The randomization technique as a modelling tool and solution procedure for transient Markov processes.Oper. Res. 32: 343–361

    Article  MathSciNet  Google Scholar 

  • Ho Y C 1987 Performance evaluation and perturbation analysis of discrete event systems.IEEE Trans. Autom. Control AC32: 563–572

    Google Scholar 

  • Inan K M, Varaiya P P 1989 Algebras of discrete event models.Proc. IEEE 77: 24–38

    Article  Google Scholar 

  • Krishna Prasad K RPerformance analysis of manufacturing systems with deadlocks, B E Project Report, Dept. of Computer Science and Automation, Indian Institute of Science, April 1990

  • Manjunath M S 1991Transient analysis of flexible Manufacturing Systems, M E Project Report, Dept. of Computer Science and Automation, Indian Institute of Science, Bangalore

    Google Scholar 

  • Marsan M A, Balbo G, Conte G 1986Performance models of multiprocessor systems (Cambridge, Mass: TheMIT press)

    Google Scholar 

  • Moler C, Van Loan C F 1978 Nineteen dubious ways to compute the exponential of a matrix.SIAM Rev. 20: 801–835

    Article  MATH  MathSciNet  Google Scholar 

  • Narahari Y, Viswanadham N 1985 A Petri net approach to modelling and analysis of flexible manufacturing systems.Ann. Oper. Res. 3: 449–472

    Article  Google Scholar 

  • Reibman A, Trivedi K S 1988 Numerical transient analysis of Markov models.Comput. Oper. Res. 15: 19–36

    Article  MATH  Google Scholar 

  • Ross S M 1985Introduction to probability models 3rd edn (Orlando, Fl: Academic Press)

    MATH  Google Scholar 

  • Suri R 1985 An overview of evaluative models for flexible manufacturing systems.Ann. Oper. Res. 3: 13–21

    Article  Google Scholar 

  • Trivedi K S 1982Probability and statistics with reliability, queueing and computer science applications (Englewood Cliffs,NJ: Prentice-Hall)

    Google Scholar 

  • Viswanadham N, Narahari Y 1988 Stochastic Petri net models for performance evaluation of automated manufacturing systems.Inf. Decision Technol. 14: 125–142

    MATH  Google Scholar 

  • Wonham W M 1987 A control theory for discrete event systems, Systems and Control Group Report 8714, Department of Electrical Engineering, University of Toronto, Toronto

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science & Automation, Indian Institute of Science, 560 012, Bangalore, India

    Y Narahari, N Viswanadham & K R Krishna Prasad

Authors
  1. Y Narahari
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. N Viswanadham
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. K R Krishna Prasad
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Narahari, Y., Viswanadham, N. & Krishna Prasad, K.R. Markovian models for deadlock analysis in automated manufacturing systems. Sadhana 15, 343–353 (1990). https://doi.org/10.1007/BF02811330

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02811330

Keywords

Search

Navigation