基于混合整数规划的含变迁故障Petri网的鲁棒活性控制
来源：计算机集成制造系统杂志2026年第5期北京时间：
作者：欧丹丹, 王锋刚, 刘改云, 钟春富
单位：西安电子科技大学机电工程学院
摘要：现有的基于Petri网的鲁棒活性控制策略大多数假设系统资源不可靠,可能出现资源故障,但是在实际生产过程中操作故障也是常见现象,因此针对操作故障,设计鲁棒活性控制策略问题也急需解决。为此针对一类Petri网提出了一种迭代鲁棒活性控制策略,可以解决含有操作(变迁)故障系统的死锁问题。首先设计重新加载子网来模拟变迁发生故障和修复过程;然后改进混合整数规划技术使其可以直接求取系统的严格极小信标;最后通过迭代进行死锁控制,第一步利用改进后的混合整数规划技术直接求取系统的一个严格极小信标,第二步利用严格极小信标的补集,进一步分析其拓展控制域,从而设计对应的控制库所,然后迭代以上两个步骤直至没有新的严格极小信标产生,从而得到一个鲁棒活性监督控制器,使得系统有无变迁发生故障均能保证其活性。本文用两个例子分别设计了鲁棒活性监督控制器,对提出方法的有效性和正确性进行验证。
关键词：Petri网,混合整数规划,变迁故障,死锁,鲁棒活性
基金资助：陕西省自然科学基础研究计划面上资助项目(2024JC-YBMS-534)。
