Computationally improved optimal deadlock control policy for flexible manufacturing systems

Document Type

Article

Publication Date

3-1-2012

Abstract

Deadlock prevention, deadlock detection, and deadlock avoidance strategies are used to solve the deadlock problems of flexible manufacturing systems. The theory of regions is recognized as the unique method for obtaining maximally permissive (i.e., optimal) controllers in the existing literature. All legal and live maximal behavior of a Petri net model can be preserved by using a marking/transition-separation instance (MTSI). However, obtaining them is an extremely time consuming problem. This work proposes crucial MTSIs that allow designers to employ much fewer MTSIs to deal with deadlocks. The advantage of the proposed policy is that an optimal deadlock controller can be obtained with drastically reduced computation. Experimental results, by varying the markings of given net structures, indicate that it is the most efficient policy to obtain such controllers. © 2011 IEEE.

Identifier

84857507249 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Part A Systems and Humans

External Full Text Location

https://doi.org/10.1109/TSMCA.2011.2164241

ISSN

10834427

First Page

404

Last Page

415

Issue

2

Volume

42

Grant

61034004

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS