自动化学报
自動化學報
자동화학보
ACTA AUTOMATICA SINICA
2008年
8期
964-971
,共8页
WU Min%颜钢锋%ZHANG Yao-Yao%刘妹琴
WU Min%顏鋼鋒%ZHANG Yao-Yao%劉妹琴
WU Min%안강봉%ZHANG Yao-Yao%류매금
离散事件系统%Petri网%监控器综合%不可控不可观变迁
離散事件繫統%Petri網%鑑控器綜閤%不可控不可觀變遷
리산사건계통%Petri망%감공기종합%불가공불가관변천
在基于Petri网建模的离散事件系统中,提出利用局部关联信息进行约束转换,并实现Petri网结构监控器综合的方法.对以Parikh矢量约束形式给出的控制规范,不可控不可观变迁会导致约束成为非法约束,分析了不可控变迁的前向关联结构和不可观变迁的后向关联结构,利用局部关联变迁实现对不可控和不可观变迁的间接控制,从而将非法矢量约束转换为合法约束,并保证初始控制规范的实现.与基于矩阵的监控器综合方法相比,本文的方法只需利用局部信息,最后通过实例对该方法进行了说明.
在基于Petri網建模的離散事件繫統中,提齣利用跼部關聯信息進行約束轉換,併實現Petri網結構鑑控器綜閤的方法.對以Parikh矢量約束形式給齣的控製規範,不可控不可觀變遷會導緻約束成為非法約束,分析瞭不可控變遷的前嚮關聯結構和不可觀變遷的後嚮關聯結構,利用跼部關聯變遷實現對不可控和不可觀變遷的間接控製,從而將非法矢量約束轉換為閤法約束,併保證初始控製規範的實現.與基于矩陣的鑑控器綜閤方法相比,本文的方法隻需利用跼部信息,最後通過實例對該方法進行瞭說明.
재기우Petri망건모적리산사건계통중,제출이용국부관련신식진행약속전환,병실현Petri망결구감공기종합적방법.대이Parikh시량약속형식급출적공제규범,불가공불가관변천회도치약속성위비법약속,분석료불가공변천적전향관련결구화불가관변천적후향관련결구,이용국부관련변천실현대불가공화불가관변천적간접공제,종이장비법시량약속전환위합법약속,병보증초시공제규범적실현.여기우구진적감공기종합방법상비,본문적방법지수이용국부신식,최후통과실례대해방법진행료설명.
