自动化学报
自動化學報
자동화학보
ACTA AUTOMATICA SINICA
2007年
8期
893-896
,共4页
邢科义%田锋%杨小军%胡保生
邢科義%田鋒%楊小軍%鬍保生
형과의%전봉%양소군%호보생
制造系统%死锁%Petri网%复杂性%控制策略
製造繫統%死鎖%Petri網%複雜性%控製策略
제조계통%사쇄%Petri망%복잡성%공제책략
基于系统Petri网模型,研究自动制造系统的避免死锁问题.对不含中心资源的制造系统,证明了它只包含安全和死锁两类可达状态.通过一步向前看的方法,给出了系统多项式时间复杂性的最佳避免死锁策略.对一般系统定义了一种辅助Petri网.利用辅助网的最佳避免死锁策略,提出了综合一般制造系统多项式复杂性的避免死锁策略的方法.
基于繫統Petri網模型,研究自動製造繫統的避免死鎖問題.對不含中心資源的製造繫統,證明瞭它隻包含安全和死鎖兩類可達狀態.通過一步嚮前看的方法,給齣瞭繫統多項式時間複雜性的最佳避免死鎖策略.對一般繫統定義瞭一種輔助Petri網.利用輔助網的最佳避免死鎖策略,提齣瞭綜閤一般製造繫統多項式複雜性的避免死鎖策略的方法.
기우계통Petri망모형,연구자동제조계통적피면사쇄문제.대불함중심자원적제조계통,증명료타지포함안전화사쇄량류가체상태.통과일보향전간적방법,급출료계통다항식시간복잡성적최가피면사쇄책략.대일반계통정의료일충보조Petri망.이용보조망적최가피면사쇄책략,제출료종합일반제조계통다항식복잡성적피면사쇄책략적방법.
