One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets

Authors:
Naiqi Wu;Mengchu Zhou;Gang Hu
Affiliations:
Guangdong University of Technology, China;Tongji University, China and New Jersey Institute of Technology;Guangdong University of Technology, China
Venue:
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Year:
2013

Citing 20
Cited 0

Introduction to algorithms

Introduction to algorithms
Design and implementation of a Petri net based supervisor for a flexible manufacturing system

Automatica (Journal of IFAC)
Some Deadlock Properties of Computer Systems

ACM Computing Surveys (CSUR)
An effective algorithm to find elementary siphons in a class of Petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Liveness enforcing supervision of video streaming systems using nonsequential Petri nets

IEEE Transactions on Multimedia
Necessary and sufficient conditions for deadlock-free operation inflexible manufacturing systems using a colored Petri net model

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Supervisory control for deadlock avoidance in compound processes

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Fault-tolerant deadlock avoidance algorithm for assembly processes

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A deadlock avoidance approach for nonsequential resource allocation systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Control of Elementary and Dependent Siphons in Petri Nets and Their Application

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
On Siphon Computation for Deadlock Control in a Class of Petri Nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Analysis of Deadlock and Circular Waits Using a Matrix Model for Flexible Manufacturing Systems

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

It is desired that a deadlock control policy for automated manufacturing systems (AMS) is maximally permissive. However, its tractability issue remains open, and this work addresses this important issue. It models AMS with a resource-oriented Petri net (ROPN) and presents a necessary and sufficient condition under which there exists a one-step look-ahead maximally permissive control policy for deadlock avoidance in AMS. It further identifies some conditions under which a one-step look-ahead maximally permissive deadlock control policy exists for a single-capacity system. The conditions can be conveniently examined by using the developed ROPN model.