含有不可控变迁的Parikh约束的Petri网控制器综合

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

Synthesis of supervisor enforcing Parikh constraints with uncontrollable transitions in Petri Nets

A detailed analysis of supervisory control with Parikh vector constraints for Petri Net based discrete event systems with uncontrollable transitions. Constraints were divided into controllable part and uncontrollable part, which can be called admissible and forbidden constraints. Matrix-Transformation meth- od was proposed to transform the forbidden constraint into admissible one to obtain the controller. Through examples, the method given here was proved to be clear in structure and concise in computation, and would greatly simplify controller synthesis when applied to constraints in complex Petri Net.