计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2013年
7期
1548-1552
,共5页
柔性制造系统%死锁预防%Petri网%信标%广义互斥约束
柔性製造繫統%死鎖預防%Petri網%信標%廣義互斥約束
유성제조계통%사쇄예방%Petri망%신표%엄의호척약속
flexible manufacturing systems%deadlock prevention%Petri nets%siphon%generalized mutual exclusion constraints
针对S3PR网的死锁预防问题,提出一种基于信标的最大许可死锁控制策略.采用迭代方法对网系统中存在的所有可清空严格极小信标添加一组广义互斥约束,使信标的标志数不超过某个上限值,将基于信标的死锁预防控制转化为禁止状态监控问题,使得受控网系统的所有禁止状态不可达,从而保证受控网具有最大许可行为.通过柔性制造系统实例验证了该策略的有效性,该算法尤其适用于结构相对简单的可达状态性能要求比较高的网模型.
針對S3PR網的死鎖預防問題,提齣一種基于信標的最大許可死鎖控製策略.採用迭代方法對網繫統中存在的所有可清空嚴格極小信標添加一組廣義互斥約束,使信標的標誌數不超過某箇上限值,將基于信標的死鎖預防控製轉化為禁止狀態鑑控問題,使得受控網繫統的所有禁止狀態不可達,從而保證受控網具有最大許可行為.通過柔性製造繫統實例驗證瞭該策略的有效性,該算法尤其適用于結構相對簡單的可達狀態性能要求比較高的網模型.
침대S3PR망적사쇄예방문제,제출일충기우신표적최대허가사쇄공제책략.채용질대방법대망계통중존재적소유가청공엄격겁소신표첨가일조엄의호척약속,사신표적표지수불초과모개상한치,장기우신표적사쇄예방공제전화위금지상태감공문제,사득수공망계통적소유금지상태불가체,종이보증수공망구유최대허가행위.통과유성제조계통실례험증료해책략적유효성,해산법우기괄용우결구상대간단적가체상태성능요구비교고적망모형.
