具有不可控变迁的离散事件系统Petri网控制器的研究

针对基于Petri网建模的离散事件系统的Petri网控制器的设计问题，分析了系统中存在不可控变迁时的情况，并基于局部设计和Petri网简化技术，提出了一种新的控制器设计方法。该方法首先将约束条件分为允许约束和非法约束，并通过矩阵转换方法将非法约束转换为允许约束，然后通过约束矩阵设计出相应的控制器。该方法由于只考虑与约束库所、约束变迁及不可控变迁相关联的局部关联矩阵，降低了矩阵的维数，简化了控制器的设计，避免了死锁。最后，基于两个实例验证了该方法的高效性。