%0 Journal Article
%T 针对一般线性约束的petri网控制器设计方法
%A 王寿光？
%A 颜钢锋？
%J 软件学报
%P 419-426
%D 2005
%X 针对基于petri网离散事件系统关于标识向量和parikh向量的不等式约束反馈控制器设计问题,提出一种新的控制器设计方法.该方法首先利用petri网的状态方程把关于标识向量和parikh向量的不等式约束转变成关于parikh向量的不等式约束,然后基于petri网库所是关于parikh向量的不等式约束的观点构造控制器.最后将该方法与iordache和moody提出的方法作比较,实验结果显示该方法更简单、有效.
%K petri网
%K 离散事件系统
%K 监控
%K 线性不等式约束
%K parikh向量
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20050311&flag=1