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

Supervisor synthesis for a class of Petri nets

作　　者：郝真鸣[1,2] 雷帅帅 刘军堂 郝晋渊 Hao Zhenming;Lei Shuaishuai;Liu Juntang;Hao Jinyuan(College of Electronic Information Engineering,Hebei University,Baoding 071002,China;Laboratory of IoT Technology,Hebei University,Baoding 071002,China;HBU-UCLan School of Media Communication and Creative Industries,Hebei University,Baoding 071002,China;Laboratory of Energy-Saving Technology,Hebei University,Baoding 071002,China)

机构地区：[1]河北大学电子信息工程学院,保定071002 [2]河北大学物联网智能技术研究中心,保定071002 [3]河北大学-中央兰开夏传媒与创意学院,保定071002 [4]河北大学节能技术研发中心,保定071002

出　　处：《电子测量与仪器学报》2022年第1期180-187,共8页Journal of Electronic Measurement and Instrumentation

基　　金：国家自然科学基金(61903119);河北省自然科学基金(F2019201088,A2020201021);河北省引进留学人员资助项目(C20190319);河北省高等学校科学技术研究项目(BJ2021008)资助

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

关 键 词：PETRI网 禁止状态 约束转换 自动制造系统 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置] TP301.1[自动化与计算机技术—控制科学与工程]