基于约束转换的Petri网最优监控器设计

• 作者: 王飞 罗继亮 赵良煦 邵辉
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 离散事件系统 Petri网 监控 广义互斥约束
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 电气工程、电信技术
• 页码范围: 2051-2056,2072
• 页数: 7页
• 分类号: TP273
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2013.11.025

摘要

针对不可控影响子网为后向无同步前向无冲突网的广义互斥约束,给出基于约束转换的最优监控方法:根据路径代数法研究后向无同步前向无冲突网的结构,得到与可达性分析相关的若干性质;其次,根据这些性质得到约束转换算法,它将给定约束等价转换为一组“逻辑或”的允许的广义互斥约束;根据允许约束的性质,得到允许监控器存在性的充要条件和最大允许状态反馈控制策略的表达式,分析结果表明,该策略的在线计算能够在多项式时间内完成,及它能够满足实时性的要求;利用一个制造系统的实例演示了该监控方法.