%0 Journal Article %1 LiuJiangZhou10 %A Liu, GuanJun %A Jiang, ChangJun %A Zhou, MengChu %D 2010 %J IEEE Transactions on Automation Science and Engineering %K cita, citas, citeulike deadlock, policies, prevention, s3pr %N 4 %P 945--957 %R 10.1109/tase.2010.2050059 %T Two Simple Deadlock Prevention Policies for <formula formulatype="inline"><tex Notation="TeX">\$S^3PR\$</tex></formula> Based on Key-Resource/Operation-Place Pairs %U http://dx.doi.org/10.1109/tase.2010.2050059 %V 7 %X This paper proposes the concept of Key-resource/operation-place Pairs (KP) of S 3 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 3 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.

@article{LiuJiangZhou10, abstract = {{This paper proposes the concept of Key-resource/operation-place Pairs (KP) of S 3 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 3 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.}}, added-at = {2017-09-08T10:52:59.000+0200}, author = {Liu, GuanJun and Jiang, ChangJun and Zhou, MengChu}, biburl = {https://www.bibsonomy.org/bibtex/2bb51e1a7a2c0a164a5144705f6d48af7/fernand0}, citeulike-article-id = {8184147}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/tase.2010.2050059}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5475322}, doi = {10.1109/tase.2010.2050059}, interhash = {4e962adcd2287eb777f6045314e75265}, intrahash = {bb51e1a7a2c0a164a5144705f6d48af7}, issn = {1545-5955}, journal = {IEEE Transactions on Automation Science and Engineering}, keywords = {cita, citas, citeulike deadlock, policies, prevention, s3pr}, month = oct, number = 4, pages = {945--957}, posted-at = {2010-11-03 11:22:03}, priority = {2}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {Two Simple Deadlock Prevention Policies for <formula formulatype="inline"><tex Notation="TeX">\${\rm S}^{3}{\rm PR}\$</tex></formula> Based on Key-Resource/Operation-Place Pairs}, url = {http://dx.doi.org/10.1109/tase.2010.2050059}, volume = 7, year = 2010 }