计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2013年
11期
2257-2265
,共9页
Petri网%死锁%补库所控制器
Petri網%死鎖%補庫所控製器
Petri망%사쇄%보고소공제기
Petri nets%deadlock%complementary-place supervisor
文中基于补库所理论提出了活性控制器设计方法.首先,利用容量函数K将原Petri网N转变为有限容量网N,再通过逐一增加K值得到具有最大可达集的容量函数Kmax,然后根据Kmax添加一组补库所,最终得到活性受控网N’.文中首先以S3PR网模型为例,与几种经典的死锁预防控制策略进行比较.实例数据表明,基于补库所理论设计的控制器不仅结构简单,避免了信标计算,还具有较好的行为许可性.最后,以S3 PGR2网模型为例,说明基于补库所的死锁预防策略同样可以应用于一般Petri网.
文中基于補庫所理論提齣瞭活性控製器設計方法.首先,利用容量函數K將原Petri網N轉變為有限容量網N,再通過逐一增加K值得到具有最大可達集的容量函數Kmax,然後根據Kmax添加一組補庫所,最終得到活性受控網N’.文中首先以S3PR網模型為例,與幾種經典的死鎖預防控製策略進行比較.實例數據錶明,基于補庫所理論設計的控製器不僅結構簡單,避免瞭信標計算,還具有較好的行為許可性.最後,以S3 PGR2網模型為例,說明基于補庫所的死鎖預防策略同樣可以應用于一般Petri網.
문중기우보고소이론제출료활성공제기설계방법.수선,이용용량함수K장원Petri망N전변위유한용량망N,재통과축일증가K치득도구유최대가체집적용량함수Kmax,연후근거Kmax첨가일조보고소,최종득도활성수공망N’.문중수선이S3PR망모형위례,여궤충경전적사쇄예방공제책략진행비교.실례수거표명,기우보고소이론설계적공제기불부결구간단,피면료신표계산,환구유교호적행위허가성.최후,이S3 PGR2망모형위례,설명기우보고소적사쇄예방책략동양가이응용우일반Petri망.