关键词: Petri 网, 控制器, 结构冲突, 离散事件系统, 死锁

Abstract: 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.

Key words: Petri net, controller, structural conflict, discrete event system, deadlock