A divide-and-conquer strategy to deadlock prevention in flexible manufacturing systems

Document Type

Article

Publication Date

2-24-2009

Abstract

Petri nets are a popular mathematical tool to investigate the deadlock problems in resource allocation systems. As an important problem solution paradigm in computer science, the divide-and-conquer strategy is used in this paper to investigate the deadlock prevention for flexible manufacturing systems (FMSs) that are modeled with Petri nets. Based on the concept of resource circuits, a plant net model is divided into an idle subnet, an autonomous subnet, and a number of small but independent subnets, called toparchies, from the viewpoint of deadlock control. A liveness-enforcing supervisor, called toparch, is designed for each toparchy. If a particular separation condition holds in a plant net model, the computational complexity of toparches is significantly reduced. This research shows that the resultant net, called monarch, by composing the toparches derived for the toparchies can serve as a liveness-enforcing Petri net supervisor for the whole plant model. FMS examples are given to illustrate the proposed method. © 2009 IEEE.

Identifier

63049128873 (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.2008.2007246

ISSN

10946977

First Page

156

Last Page

169

Issue

2

Volume

39

Grant

20070701013

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS