Journal ArticleDOI
Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows
Zbigniew Banaszak,Bruce H. Krogh +1 more
- Vol. 6, Iss: 6, pp 724-734
Reads0
Chats0
TLDR
The authors develop a Petri net model of concurrent job flow and dynamic resource allocation in an FMS and define deadlock in terms of transition enabling in the PN model to prove that restricted deadlock can never occur for any resource allocation policy implemented under the DAA restriction policy.Abstract:
The concurrent flow of multiple jobs through a FMS can lead to deadlock conditions due to competition for limited resources in the system. The authors develop a Petri net (PN) model of concurrent job flow and dynamic resource allocation in an FMS and define deadlock in terms of transition enabling in the PN model. The problem of deadlock avoidance is addressed by introducing the notion of a restriction policy, which is a feedback policy for excluding some enabled transitions from the current resource allocation alternatives. The authors then present their deadlock avoidance algorithm (DAA) and prove that restricted deadlock can never occur for any resource allocation policy implemented under the DAA restriction policy. The DAA can be implemented easily in real time and is much less restrictive for FMS applications than existing algorithms for deadlock avoidance in computer systems. Application of the DAA is illustrated for three FMS examples: allocation of finite buffer space in a multicell machining facility, collision avoidance in a multirobot assembly cell, and coordination of multiple AGVs on a shop floor. >read more
Citations
More filters
Journal ArticleDOI
A Petri net based deadlock prevention policy for flexible manufacturing systems
TL;DR: This paper illustrates a compositional method for modeling the concurrent execution of working processes in flexible manufacturing systems (FMS) through a special class of Petri nets that is built from state machines sharing a set of places modeling the availability of system resources.
Journal ArticleDOI
Measurement and correction of systematic odometry errors in mobile robots
Johann Borenstein,Liqiang Feng +1 more
TL;DR: Experimental results are presented that show a consistent improvement of at least one order of magnitude in odometric accuracy (with respect to systematic errors) for a mobile robot calibrated with the method described.
Journal ArticleDOI
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems
Zhiwu Li,MengChu Zhou +1 more
TL;DR: It is proved that by adding a control place for each elementary siphon to make sure that it is marked, deadlock can be successfully prevented and is suitable for large-scale Petri nets.
Journal ArticleDOI
Petri nets and industrial applications: A tutorial
R. Zurawski,MengChu Zhou +1 more
TL;DR: The fundamental concepts of Petri nets are introduced to researchers and practitioners, both from academia and industry, who are involved in the work in the areas of modelling and analysis of industrial types of systems, as well as those who may potentially be involved in these areas.
Journal ArticleDOI
Deadlock analysis of Petri nets using siphons and mathematical programming
Feng Chu,Xiaolan Xie +1 more
TL;DR: This paper exploits the potential of siphons for the analysis of Petri nets and shows that an asymmetric choice net is live iff it is potential-deadlock-free and an augmented marked graph is live and reversible iff the siphon is not a potential deadlock.
References
More filters
Journal ArticleDOI
System Deadlocks
TL;DR: This article surveys the work that has been done on the treatment of deadlocks from both the theoretical and practical points of view.
Book
An introduction to operating systems
TL;DR: An introduction to operating systems, An introduction tooperating systems, and more.
Journal ArticleDOI
Performance evaluation of job-shop systems using timed event-graphs
H.P. Hillion,Jean-Marie Proth +1 more
TL;DR: It is shown in particular that, given any desired product mix, it is possible to start the system with enough jobs in process so that some machines will be fully utilized in steady-state and the productivity is optimal.
Journal ArticleDOI
Prevention of system deadlocks
TL;DR: Algorithms are presented which examine a request in the light of the current allocation of resources and determi whether or not the granting of the request will introduce the possibility of a deadlock.