%0 Journal Article
%T 基于Petri网结构分析的监控器综合
%A 吴敏
%A 颜钢锋
%A 张瑶瑶
%A 刘妹琴
%J 自动化学报
%P 964-971
%D 2008
%R 10.3724/SP.J.1004.2008.00964
%X ？在基于Petri网建模的离散事件系统中,提出利用局部关联信息进行约束转换,并实现Petri网结构监控器综合的方法.对以Parikh矢量约束形式给出的控制规范,不可控不可观变迁会导致约束成为非法约束,分析了不可控变迁的前向关联结构和不可观变迁的后向关联结构,利用局部关联变迁实现对不可控和不可观变迁的间接控制,从而将非法矢量约束转换为合法约束,并保证初始控制规范的实现.与基于矩阵的监控器综合方法相比,本文的方法只需利用局部信息,最后通过实例对该方法进行了说明.
%K 离散事件系统
%K Petri网
%K 监控器综合
%K 不可控不可观变迁
%U http://www.aas.net.cn/CN/abstract/abstract13425.shtml