Indexed by:
Abstract:
Existing policies for deadlock control are mainly based on siphons due to their ability to indicate deadlocks, and can be used as a powerful tool to deal with deadlock situations in flexible manufacturing systems. In order to avoid deadlocks, researchers often add monitors to control siphons. This may result in redundant monitors, unnecessary cost, and restriction of the behavior permissiveness. For example, for a system of sequential systems with shared resources ((SR)-R-4), the existing deadlock control policies based on max, max or max-controlled siphons tend to overly restrict the behavior of a controlled system. To ensure maximal permissive behavior of controlled systems, a new concept of siphon controllability named W-control is defined and then a sufficient and necessary condition under which a (WSPR)-P-3 is live if all its siphons are W-controlled. Examples are given to demonstrate them.
Keyword:
Reprint Author's Address:
Source :
ASIAN JOURNAL OF CONTROL
ISSN: 1561-8625
Year: 2015
Issue: 3
Volume: 17
Page: 908-916
1 . 4 0 7
JCR@2015
3 . 4 5 2
JCR@2020
ESI Discipline: ENGINEERING;
ESI HC Threshold:138
JCR Journal Grade:3
CAS Journal Grade:4
Cited Count:
WoS CC Cited Count: 7
SCOPUS Cited Count: 8
ESI Highly Cited Papers on the List: 0 Unfold All
WanFang Cited Count:
Chinese Cited Count:
30 Days PV: 4
Affiliated Colleges: