含有不可控变迁的混合约束Petri网控制器设计  

Synthesis of Supervisor Enforcing Mixed Constraints with Uncontrollable Transitions in Petri Net

作　　者：朱金旺[1] 陆阳[1,2] 程运安[1,2] 

机构地区：[1]合肥工业大学计算机与信息学院,合肥230009 [2]安全关键工业测控技术教育部工程研究中心,合肥230009

出　　处：《系统仿真学报》2008年第S2期148-151,共4页Journal of System Simulation

基　　金：教育部新世纪优秀人才支持计划(NCET-04-0562);高等学校博士学科点专项科研基金(20050359004)

摘　　要：针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,研究受控对象中存在不可控变迁情况下实现Petri网反馈控制器的方法。提出了一种新的约束转换方法对含有不可控变迁的禁止约束部分进行处理,将禁止约束转化为允许约束。然后结合局部设计和Petri网简化技术改进与完善控制器的设计方法。实例表明,该方法结构清晰,计算简单,用于混合约束条件中,能大大减少计算量,在复杂Petri网模型中效果更为明显。A detailed technique of supervisor control with mixed constraints for Petri Net based discrete event systems with uncontrollable transitions was discussed.A new method was proposed to transform the forbidden constraint into admissible one.And then,an improved method for constructing a Petri Net feedback controller based on part design and Petri Net reduction technique.Through example,the method given here is proved to be clear in structure and concise in computation,and will greatly simplify controller synthesis when applied to constraints in complex Petri Net.

关 键 词：PETRI网 离散事件系统 监控 混合约束 不可控变迁 

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