论文部分内容阅读
针对基于Petri网建模的离散事件系统关于Parikh向量的不等式约束反馈控制器设计问题，对Parikh向量的不等式约束条件中存在不可控变迁的情况进行分析．将约束条件分为可控部分与不可控部分，即允许约束和禁止约束，并通过矩阵变换方法对含有不可控变迁的禁止约束部分进行处理，将禁止约束转化为允许约束，从而设计出相应的控制器．实例表明，该方法结构清晰，计算简单，用于混合约束条件中，能大大减少计算量，在复杂Petri网模型中效果更为明显．