%0 Journal Article
%T Synthesis of Petri nets controller for discrete event systems based on finite capacity places-Part 1
基于有限容量库所的离散事件系统的Petri网控制器综合——第1部分(英文)
%A WU Wei-min
%A SU Hong-ye
%A CHU Jian
%A
吴维敏
%A 苏宏业
%A 褚 健
%J 控制理论与应用
%D 2003
%I
%X 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.
%K discrete event systems
%K controller synthesis
%K Petri nets
%K finite capacity places
离散事件系统
%K 控制器综合
%K Petri网
%K 有限容量库所
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=970898A57DFC021F93AB51667BAED7F7&aid=7355E2CB6913EE89&yid=D43C4A19B2EE3C0A&vid=A04140E723CB732E&iid=0B39A22176CE99FB&sid=CA5852BD1A173B3A&eid=E1D946F217E3B046&journal_id=1000-8152&journal_name=控制理论与应用&referenced_num=5&reference_num=9