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

浙江大学学报(工学版) Vo l. 40 No.7 第 40 卷第 7 期 2006 年 7 月 lournal of Zhejiang Uníversity( Engineering Science) Jul. 2006 含有不可控变迁的 Parikh 约束的 Petri 网控制器综合 张瑶瑶，颜钢锋，张森林，刘妹琴 (浙江大学电气工程学院，浙江杭州 310027) 摘 要:针对基于 Petri 网建模的离散事件系统关于 Parikh 向戴的不等式约束反馈控制者普设计问题， xj Parikh 向 攘的不等式约束条件中存在不可控变迁的情况进行分析.将约束条件分为百J 按部分与不可控部分，即允许约束和 禁止约束，并通过矩阵变换方法对含有不可按变迁的禁止约束部分进行处蝶，将禁止约束转化为允许约束，从而设 计出相应的控制器.实例表明，该方法结构清晰，计算简单，用于混合约束条件中，能大大减少计算量，在复杂 Petri 网模型中效果更为明显. 关键诩: Petri 网;离散事件系统;监控;Parikh 向量;不可控变迁 中图分类号: TP301 文献标识码:A 文章编号: 1008ω973X(2006)07 叩 1123 - 04 Synthesis of supervisor enforcing Pa圳E uncontrollable transitions in Peb时.i Nets ZHANG Yao-yao , YAN Gang-feng , ZHANG Sen-lin , LIU Mei-qin (College 01 Electrical Engineering , Zhejiang University , Hangzhou 310027 , Chína) Abstract: A detailed analysis of supervisory control with Parikh vector constraints for Petri Net based dis- crete event systems with uncontrollable transitions. Constraints were divided into controllable part and un- control1able 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 concÍse in computation , and would greatly simplify controller synthesis when applied to constraints in complex Petri Net. Key words: Petri Net; discrete event system; supervisor; Parikh vector; uncontrollable transition 对基于 Petri 网川的离散事件系统(discrete e- 接设计控制器，该方法相比文献[7J 的方法，在一定 vent system ， DES)监控问题[叫，即 Petri 网控制器