论文部分内容阅读
本文对于离散事件系统(DES)的Petri网控制器综合问题,最大不可控子网为无环结构时,线性整数规划(LIP)是一种非常有效的求解控制律的方法.当最大不可控子网中有环时,控制律的求解变成了非线性整数规划(NIP)问题,难于求解.为此,针对一类最大不可控子网有环的Petri网,首先通过将有环的最大不可控子网等价为无环不可控子网;然后应用LIP方法得到系统的最大容许控制律.