Premium
New Controllability Condition for Siphons in Ws 3 PR Nets
Author(s) -
Guan Xuanxuan,
Wu Wenhui,
Wang Shouguang
Publication year - 2015
Publication title -
asian journal of control
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.769
H-Index - 53
eISSN - 1934-6093
pISSN - 1561-8625
DOI - 10.1002/asjc.939
Subject(s) - controllability , deadlock prevention algorithms , deadlock , siphon (mollusc) , petri net , control (management) , computer science , order (exchange) , distributed computing , control theory (sociology) , engineering , mathematics , artificial intelligence , economics , ecology , biology , finance
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 (S 4 R), 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 WS 3 PR is live if all its siphons are W‐controlled. Examples are given to demonstrate them.