Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 1
基于有限容量库所的离散事件系统的Petri网控制器综合——第1部分(英文)

A novel method of controller design for discrete event systems (DES) modeled by Petri nets (PN) is presented. The controller is constructed based on the concept of finite capacity places such that the plant evolves under the constraint of linear inequalities defined on the place marking. The synthesis procedure of the controller exploits the transformation technique of finite capacity Petri net to an infinite one. PN controller synthesis algorithms are presented for different cases of the constraint.