含有不可控变迁的Parikh约束的Petri网控制器综合  

Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri Nets

作　　者：张瑶瑶[1] 颜钢锋[1] 张森林[1] 刘妹琴[1] 

机构地区：[1]浙江大学电气工程学院,浙江杭州310027

出　　处：《浙江大学学报（工学版）》2006年第7期1123-1126,共4页Journal of Zhejiang University：Engineering Science

基　　金：国家自然科学基金资助项目(60504024);浙江省教育厅科研资助项目(20050905);浙江省"151人才工程"培养基金资助项目

摘　　要：针对基于Petri网建模的离散事件系统关于Parikh向量的不等式约束反馈控制器设计问题,对Parikh向量的不等式约束条件中存在不可控变迁的情况进行分析.将约束条件分为可控部分与不可控部分,即允许约束和禁止约束,并通过矩阵变换方法对含有不可控变迁的禁止约束部分进行处理,将禁止约束转化为允许约束,从而设计出相应的控制器.实例表明,该方法结构清晰,计算简单,用于混合约束条件中,能大大减少计算量,在复杂Petri网模型中效果更为明显.A detailed analysis of supervisory control with Parikh vector constraints for Petri Net based discrete event systems with uncontrollable transitions. Constraints were divided into controllable part and uncontrollable part, which can be called admissible and forbidden constraints. Matrix-Transformation meth- od was proposed to transform the forbidden constraint into admissible one to obtain the controller. Through examples, the method given here was proved to be clear in structure and concise in computation, and would greatly simplify controller synthesis when applied to constraints in complex Petri Net.

关 键 词：PETRI网 离散事件系统 监控 Parikh向量 不可控变迁 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]