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

摘要

针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,研究受控对象中存在不可控变迁情况下实现Petri网反馈控制器的方法。提出了一种新的约束转换方法对含有不可控变迁的禁止约束部分进行处理,将禁止约束转化为允许约束。然后结合局部设计和Petri网简化技术改进与完善控制器的设计方法。实例表明,该方法结构清晰,计算简单,用于混合约束条件中,能大大减少计算量,在复杂Petri网模型中效果更为明显。