A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems

Document Type

Article

Publication Date

3-1-2008

Abstract

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. © 2008 IEEE.

Identifier

40949111905 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Part C Applications and Reviews

External Full Text Location

https://doi.org/10.1109/TSMCC.2007.913920

ISSN

10946977

First Page

173

Last Page

188

Issue

2

Volume

38

Grant

20070701013

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS