针对一般线性约束的petri网控制器设计方法

针对基于petri网离散事件系统关于标识向量和parikh向量的不等式约束反馈控制器设计问题,提出一种新的控制器设计方法.该方法首先利用petri网的状态方程把关于标识向量和parikh向量的不等式约束转变成关于parikh向量的不等式约束,然后基于petri网库所是关于parikh向量的不等式约束的观点构造控制器.最后将该方法与iordache和moody提出的方法作比较,实验结果显示该方法更简单、有效.