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

摘要：

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

关键词：离散事件系统、Petri网、监控器综合、不可控不可观变迁

所属期刊栏目：34

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60504024;浙江省教育厅科研项目20050905;浙江省"151人才工程"培养基金

在线出版日期：2008-09-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：964-971