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

作     者：罗继亮 王飞 邵辉 赵良煦 

作者机构：华侨大学信息科学与工程学院福建厦门361021 浙江工商大学信息与电子工程学院浙江杭州310018 

出 版 物：《浙江大学学报（工学版）》 (Journal of Zhejiang University：Engineering Science)

年 卷 期：2013年第47卷第11期

页      面：2051-2056,2072页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0802[工学-机械工程] 080201[工学-机械制造及其自动化] 

基　　金：国家自然科学青年基金计划资助项目(61203040) 福建省高等学校新世纪优秀人才支持计划资助项目(11FJRC01) 福建省高校杰出青年科研人才培养计划资助项目(JA10004) 福建省教育厅科技计划项目(JA11002) 工业控制技术国家重点实验室开放课题资助资助项目(ICT1317) 浙江省科技计划项目(2013C31111) 

主　　题：离散事件系统 Petri网 监控 广义互斥约束 

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