一种 Petri 网禁止状态控制器综合方法

针对含有不可控变迁Petri网的禁止状态问题，提出了一种基于整数线性规划的控制器综合方法，该方法适用于任意普通Petri网模型。首先，根据Petri网的结构特性构建所有不可控变迁应满足的约束条件集合，其次通过求解整数线性规划问题将给定的线性约束转换为允许线性约束；最后，利用库所不变量方法设计控制器将转换后的约束综合到Petri网中。以某零件加工系统为例进行实验，实验结果表明，提出的方法简单高效，对实际自动制造系统的禁止状态监控问题具有一定借鉴意义。

Supervisor synthesis for a class of Petri nets

Aiming at the forbidden state problem of Petri nets with uncontrollable transitions, a controller synthesis method based on integer linear programming is proposed, which is suitable for any ordinary Petri nets model. Firstly, according to the structural characteristics of Petri nets, a set of constraint conditions that all uncontrollable transitions should satisfy is constructed. Secondly, the given linear constraints are converted into admissible linear constraints by solving the integer linear programming problem. Finally, the invariant method of the library is used to design the controller and integrate the converted constraints into the Petri net. The experimental results show that the proposed method is simple and efficient, and can be used as a reference for the forbidden state monitoring in the actual automatic manufacturing system.