基于Petri网结构分析的监控器综合

• 作者: WU Min ZHANG Yao-Yao 刘妹琴 颜钢锋
• 来源期刊: 自动化学报
• 学科: 工学
• 关键词: 离散事件系统 Petri网 监控器综合 不可控不可观变迁
• 年，卷（期）: 2008,（8）
• 所属期刊栏目: 论文报告
• 页码范围: 964-971
• 页数: 8页
• 分类号: TP301
• 字数: 5454字
• 语种: 中文
• DOI: 10.3724/SP.J.1004.2008.00964

摘要

在基于Petri网建模的离散事件系统中,提出利用局部关联信息进行约束转换,并实现Petri网结构监控器综合的方法.对以Parikh矢量约束形式给出的控制规范,不可控不可观变迁会导致约束成为非法约束,分析了不可控变迁的前向关联结构和不可观变迁的后向关联结构,利用局部关联变迁实现对不可控和不可观变迁的间接控制,从而将非法矢量约束转换为合法约束,并保证初始控制规范的实现.与基于矩阵的监控器综合方法相比,本文的方法只需利用局部信息,最后通过实例对该方法进行了说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	颜钢锋	浙江大学电气工程学院系统科学与工程学系	132	1634	21.0	35.0
2	刘妹琴	浙江大学电气工程学院系统科学与工程学系	37	251	7.0	15.0
3	WU Min	浙江大学电气工程学院系统科学与工程学系	1	4	1.0	1.0
4	ZHANG Yao-Yao	浙江大学电气工程学院系统科学与工程学系	1	4	1.0	1.0