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

Optimal Petri-net supervisor synthesis based on the constraint transformation

作　　者：罗继亮[1] 王飞[1] 邵辉[1] 赵良煦[2] 

机构地区：[1]华侨大学信息科学与工程学院,福建厦门361021 [2]浙江工商大学信息与电子工程学院,浙江杭州310018

出　　处：《浙江大学学报（工学版）》2013年第11期2051-2056,2072,共7页Journal of Zhejiang University：Engineering Science

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

摘　　要：针对不可控影响子网为后向无同步前向无冲突网的广义互斥约束,给出基于约束转换的最优监控方法:根据路径代数法研究后向无同步前向无冲突网的结构,得到与可达性分析相关的若干性质;其次,根据这些性质得到约束转换算法,它将给定约束等价转换为一组"逻辑或"的允许的广义互斥约束;根据允许约束的性质,得到允许监控器存在性的充要条件和最大允许状态反馈控制策略的表达式,分析结果表明,该策略的在线计算能够在多项式时间内完成,及它能够满足实时性的要求;利用一个制造系统的实例演示了该监控方法.The optimal supervisor synthesis approach is proposed for a class of generalized mutual exclusion constraints （GMECs） on Petri nets where the influence uncontrollable subnets are backward concurrent and forward conflict free （BCFCF） nets. Firstly, the net structure of BCFCF nets is studied by the path algebra approach. Then, several properties about reachability analysis are given. Secondly, a constraint transformation algorithm, by which a given GMEC can be equivalently transformed into a disjunctive of admissible GMECs, is designed based on these properties. Thirdly, these calculated admissible constraints are utilized to derive the necessary and sufficient condition of the existence of any admissible supervisor and the expression of the maximally permissive control policy. The on-line calculation of this control policy can be completed within polynomial times, so it can meet the real time requirement. Lastly, the theoretic re- sults are illustrated by a manufacturing system.

关 键 词：离散事件系统 PETRI网 监控 广义互斥约束 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置]