%0 Journal Article
%T 具有混合约束的离散事件系统的Petri网控制器的研究
%A 陶泽
%A 肖田元
%A 　郝长中
%J 计算机集成制造系统
%P 0-0
%D 2007
%X 针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题，利用局部设计和Petri网简化技术改进与完善控制器的设计方法，并证明所提方法是最大容许的。先利用局部设计Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所，然后再与受约束的变迁进行对照比较，使控制器的设计更为简单并且避免了死锁，尤其是对规模较大的系统，其优势更加明显。针对于约束的不同情况，给出了相应的控制器设计方法，最后通过几个例子对该方法的简单性和有效性进行了验证。
%K Petri
%K 网
%K 控制器
%K 结构冲突
%K 离散事件系统
%K 死锁
%U http://www.cims-journal.cn/CN/abstract/abstract1667.shtml