A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems

Over the last two decades, a great deal of research has been focused on solving deadlock problems in resource allocation systems such as computer communication systems, workflow systems, and flexible manufacturing systems, resulting in a wide variety of approaches. As a well-defined problem in resou...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on human-machine systems 2008-03, Vol.38 (2), p.173-188
Main Authors: Zhi Wu Li, Zhi Wu Li, Meng Chu Zhou, Meng Chu Zhou, Nai Qi Wu, Nai Qi Wu
Format: Article
Language:English
Subjects:
Applied sciences
C (programming language)
Complexity
Computational complexity
Computer aided manufacturing
Computer science
control theory
systems
Cybernetics
deadlock prevention
Design automation
Design engineering
Educational programs
Exact sciences and technology
flexible manufacturing system (FMS)
Flexible manufacturing systems
Formalism
Information systems. Data bases
Laboratories
Manufacturing automation
Mass production
Memory organisation. Data processing
Petri net
Petri nets
Policies
Resource allocation
Resource management
Software
System recovery
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Over the last two decades, a great deal of research has been focused on solving deadlock problems in resource allocation systems such as computer communication systems, workflow systems, and flexible manufacturing systems, resulting in a wide variety of approaches. As a well-defined problem in resource allocation systems, deadlock prevention based on a Petri net formalism has received an enormous amount of attention in the literature. This paper intends to review and compare a variety of Petri net-based deadlock prevention policies reported in the literature. Their comparison is done in terms of structural complexity, behavior permissiveness, and computational complexity. This paper should facilitate engineers in choosing a suited method for their industrial application cases.
ISSN:1094-6977
2168-2291
1558-2442
2168-2305
DOI:10.1109/TSMCC.2007.913920