具有混合约束的离散事件系统的Petri网控制器的研究

针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,利用局部设计和Petri网简化技术改进与完善控制器的设计方法,并证明所提方法是最大容许的.先利用局部设计Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显.针对于约束的不同情况,给出了相应的控制器设计方法,最后通过几个例子对该方法的简单性和有效性进行了验证.

Controller of discrete event system Petri net with mixed constraint

An improved method for constructing a Petri net feedback controller based on part design and Petri net reduction technique was presented for a discrete event system with hybrid constraints modeled by a Petri net. This Petri net controller derived was maximally permissive. Firstly, part design and a net reduction technique of Petri net fused all the constrained places into one place whose marking was equal to the sum of the markings of the constrained places, and then were compared with the constrained transitions. The net reduction and part design simplify the design of controller with remarkable advantages especially for large-scale systems. Corresponding Petri net controller design methods were presented for different cases of the constraint. Finally, this method was proved to be simple and effective by some examples.