%0 Journal Article
%T 具有不可控变迁的离散事件系统Petri网控制器的研究
%A 陶泽
%A 肖田元
%A 刘晓霞
%J 计算机集成制造系统
%P 0-0
%D 2008
%X 针对基于Petri网建模的离散事件系统的Petri网控制器的设计问题，分析了系统中存在不可控变迁时的情况，并基于局部设计和Petri网简化技术，提出了一种新的控制器设计方法。该方法首先将约束条件分为允许约束和非法约束，并通过矩阵转换方法将非法约束转换为允许约束，然后通过约束矩阵设计出相应的控制器。该方法由于只考虑与约束库所、约束变迁及不可控变迁相关联的局部关联矩阵，降低了矩阵的维数，简化了控制器的设计，避免了死锁。最后，基于两个实例验证了该方法的高效性。
%K Petri网
%K 控制器
%K 结构冲突
%K 允许约束
%K 不可控变迁
%U http://www.cims-journal.cn/CN/abstract/abstract1920.shtml