基于网结构压缩技术的petri网监控器综合

？针对petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题，提出了控制目标（线性约束）等价的网结构压缩算法：（1）将不可控子网部分区域压缩为单个库所；（2）并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法，可以有效地压缩原不可控子网，从而指数级地减小不可控子网的状态空间，有效地降低监控问题的计算复杂性，甚至当不可控子网为状态机时，该方法能够彻底解决上述计算复杂性难题，获得高效最优的petri网监控器，并用一个物料运输系统演示了该方法.