Viswanadham, N and Johnson, TL and Narahari, Y (1990) Performance Analysis of AutoMated Manufacturing Systems With Blocking And Deadlock. In: Rensselaer's Second International Conference on Computer Integrated Manufacturing, 1990, 21-23 May, Troy, NY, pp. 64-68.
The flow of multiple concurrent jobs in an automated manufacturing system (AMS), all competing for a finite set of resources, often leads to a deadlock situation. In this paper, we develop Petri net and Markov chain models for manufacturing systems with blocking and deadlock. We compute the probability that the system in an absorbing (deadlocked) state, the mean time to deadlock, and the throughput before deadlock, etc., which can be used to compare performance of various prevention and avoidance strateges. A systematic method for designing locks and interlocks for deadlock avoidance using the reachability graph of the Petri net model is presented. . .
|Item Type:||Conference Paper|
|Additional Information:||Copyright 1990 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.|
|Department/Centre:||Division of Electrical Sciences > Computer Science & Automation (Formerly, School of Automation)|
|Date Deposited:||25 Aug 2008|
|Last Modified:||19 Sep 2010 04:27|
Actions (login required)