Two simple deadlock prevention policies for S3PR based on Key-resource/operation-place Pairs

Authors

Guan Jun Liu, Tongji University
Chang Jun Jiang, Tongji University
Meng Chu Zhou, Newark College of Engineering

Document Type

Article

Publication Date

10-1-2010

Abstract

This paper proposes the concept of Key-resource/operation-place Pairs (KP) of S³PR (systems of simple sequential processes with resources). Based on KP, two policies are presented to prevent deadlocks in flexible manufacturing systems (FMS) that can be modeled by S³PR. The idea is to control some key resource places only to guarantee that all strict minimal siphons (SMS) never become empty, thereby making the controlled system live. It enables one to design two easy-to-implement control policies. The first one can guarantee that the controlled system is live, and the second one can also make the controlled system live if there is no SMS containing any control place in the controlled system. At last, a well-known FMS example is used to illustrate the proposed concept and policies. © 2010 IEEE.

Identifier

77957763040 (Scopus)

Publication Title

IEEE Transactions on Automation Science and Engineering

External Full Text Location

https://doi.org/10.1109/TASE.2010.2050059

ISSN

15455955

First Page

945

Last Page

957

Issue

4

Volume

7

Grant

08JC1419300

Fund Ref

Shanghai Science and Technology Development Foundation

Recommended Citation

Liu, Guan Jun; Jiang, Chang Jun; and Zhou, Meng Chu, "Two simple deadlock prevention policies for S3PR based on Key-resource/operation-place Pairs" (2010). Faculty Publications. 6068.
https://digitalcommons.njit.edu/fac_pubs/6068