石河子大学学报（自然科学版）
石河子大學學報（自然科學版）
석하자대학학보（자연과학판）
JOURNAL OF SHIHEZI UNIVERSITY (NATURAL SCIENCE)
2012年
2期
252-256
,共5页
柔性制造系统%Petri网%死锁预防%资源顺序%非阻塞
柔性製造繫統%Petri網%死鎖預防%資源順序%非阻塞
유성제조계통%Petri망%사쇄예방%자원순서%비조새
基于资源顺序提出了一种多项式复杂度的死锁控制策略,保证含有并发执行装配过程的一类柔性制造系统G-system的非阻塞性.首先对系统Petri网模型求取操作库所的资源需求量,在任意一组资源顺序的偏序下,调整操作库所的最大资源需求量,然后对每个资源添加控制保证系统资源不会进入循环等待,从而保证系统不会进入死锁状态.通过实例验证,该策略避免了求取信标,在保证系统活性的基础上明显降低了计算复杂度.
基于資源順序提齣瞭一種多項式複雜度的死鎖控製策略,保證含有併髮執行裝配過程的一類柔性製造繫統G-system的非阻塞性.首先對繫統Petri網模型求取操作庫所的資源需求量,在任意一組資源順序的偏序下,調整操作庫所的最大資源需求量,然後對每箇資源添加控製保證繫統資源不會進入循環等待,從而保證繫統不會進入死鎖狀態.通過實例驗證,該策略避免瞭求取信標,在保證繫統活性的基礎上明顯降低瞭計算複雜度.
기우자원순서제출료일충다항식복잡도적사쇄공제책략,보증함유병발집행장배과정적일류유성제조계통G-system적비조새성.수선대계통Petri망모형구취조작고소적자원수구량,재임의일조자원순서적편서하,조정조작고소적최대자원수구량,연후대매개자원첨가공제보증계통자원불회진입순배등대,종이보증계통불회진입사쇄상태.통과실례험증,해책략피면료구취신표,재보증계통활성적기출상명현강저료계산복잡도.
