Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 1
WU Wei-min
SU Hong-ye
CHU Jian
Abstract: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.
Keywords:discrete event systemscontroller synthesisPetri netsfinite capacity places
Publication Date:2003-01-01
Online Publishing Date:2025-08-15(First online date of this platform, not the publication date of the document)
Pages:5( 228-232 )
