%0 Journal Article
%T A Method for the Design of Petri Net Controller Enforcing General Linear Constraints
针对一般线性约束的Petri网控制器设计方法
%A WANG Shou-Guang
%A YAN Gang-Feng
%A
王寿光
%A 颜钢锋
%J 软件学报
%D 2005
%I
%X The problem of constructing a Petri net feedback controller, which enforces linear inequality constraints involving the marking vector and the Parikh vector on a discrete event system (DES) modeled by Petri nets (PN), is discussed in this paper. A novel method for design of controller enforcing the constraints is presented. First the constraints involving the marking and Parikh vectors are transformed into the constraints involving Parikh vector only using Petri net state equality, and then the controller is constructed based on the viewpoint that a place can be seen as a linear inequality constraint on the Parikh vector. The method is proved to be simpler and more efficient than that presented by Iordache and Moody through an applied instance that was also used by Moody et al., and holds remarkable advantage especially for large systems.
%K Petri net (PN)
%K DES (discrete event system)
%K supervisor control
%K linear inequality constraints
%K Parikh vector
Petri网
%K 离散事件系统
%K 监控
%K 线性不等式约束
%K Parikh向量
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=624CEE1DA67B6554C6017DF49CB2EED2&yid=2DD7160C83D0ACED&vid=7801E6FC5AE9020C&iid=38B194292C032A66&sid=A4E67967A1AB25F0&eid=BA48F0B914ED890A&journal_id=1000-9825&journal_name=软件学报&referenced_num=6&reference_num=11