Petri网上的禁止状态监控器综合
来源期刊：控制与决策2006年第6期
论文作者：罗继亮 袁剑蓉 吴维敏 苏宏业 王肖 褚健
文章页码：671 - 1370
关键词：监控;离散事件系统;Petri网;禁止状态;
摘 要：给出了Petri网上广义互斥约束的最大允许监控器综合方法,其中该监控问题满足两个条件:正权值禁止库所的影响子网是状态机;负权值禁止库所的输入和输出变迁均只有一个输入库所.首先得到了监控器存在的充分和必要条件;其次构造了约束等价转换的方法,该方法可将存在不可控变迁的监控问题简化为相当于变迁全部可控的监控问题.最后通过一个例子说明了该方法的可行性.
罗继亮，袁剑蓉，吴维敏，苏宏业，王肖，褚健
摘 要：给出了Petri网上广义互斥约束的最大允许监控器综合方法,其中该监控问题满足两个条件:正权值禁止库所的影响子网是状态机;负权值禁止库所的输入和输出变迁均只有一个输入库所.首先得到了监控器存在的充分和必要条件;其次构造了约束等价转换的方法,该方法可将存在不可控变迁的监控问题简化为相当于变迁全部可控的监控问题.最后通过一个例子说明了该方法的可行性.
关键词：监控;离散事件系统;Petri网;禁止状态;
