%0 Journal Article %1 GuanWuWang15 %A Guan, Xuanxuan %A Wu, Wenhui %A Wang, Shouguang %D 2015 %J Asian Journal of Control %K citas, citeulike controllability, nets, petri, referencias, siphons %N 3 %P 908--916 %R 10.1002/asjc.939 %T New Controllability Condition for Siphons in Ws3PR Nets %U http://dx.doi.org/10.1002/asjc.939 %V 17 %X 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 (S4R), 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 WS3PR is live if all its siphons are W-controlled. Examples are given to demonstrate them.

@article{GuanWuWang15, 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 (S4R), 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 WS3PR is live if all its siphons are W-controlled. Examples are given to demonstrate them.}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Guan, Xuanxuan and Wu, Wenhui and Wang, Shouguang}, biburl = {https://www.bibsonomy.org/bibtex/28e4b4f46eae3a79997273b5fbba9859a/fernand0}, citeulike-article-id = {13648161}, citeulike-linkout-0 = {http://dx.doi.org/10.1002/asjc.939}, day = 1, doi = {10.1002/asjc.939}, interhash = {ca5cf35abea4d3807e13eb58dda79875}, intrahash = {8e4b4f46eae3a79997273b5fbba9859a}, journal = {Asian Journal of Control}, keywords = {citas, citeulike controllability, nets, petri, referencias, siphons}, month = may, number = 3, pages = {908--916}, posted-at = {2015-06-17 16:11:31}, priority = {2}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{New Controllability Condition for Siphons in Ws3PR Nets}}, url = {http://dx.doi.org/10.1002/asjc.939}, volume = 17, year = 2015 }