通过整数线性规划构造的监督器，确保无界Petri网闭环活性并保持最大许可行为。
Yanan, Zhang · Chen, Yufeng · El-Sherbeeny, Ahmed M. · Li, Zhiwu
IEEE Transactions on Systems, Man, and Cybernetics: Systems 2025
通过监督控制可达树中所有死锁节点，确保闭环无界网是活的。
监督器设计算法确保活性的同时保持最大许可行为。
该方法通过整数线性规划实现，为监督器设计提供了可行的计算框架。