Petri网上的禁止状态监控器综合

摘要：

给出了Petri网上广义互斥约束的最大允许监控器综合方法,其中该监控问题满足两个条件:正权值禁止库所的影响子网是状态机;负权值禁止库所的输入和输出变迁均只有一个输入库所.首先得到了监控器存在的充分和必要条件;其次构造了约束等价转换的方法,该方法可将存在不可控变迁的监控问题简化为相当于变迁全部可控的监控问题.最后通过一个例子说明了该方法的可行性.

关键词：监控、离散事件系统、Petri网、禁止状态

所属期刊栏目：21

分类号：TP271.8;TP18(自动化技术及设备)

资助基金：高等学校博士学科点专项科研项目20020335103;国家自然科学基金Y104081;国家创新研究群体科学基金60421002

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

页数：共5页

页码：671-674,696