基于执行器冲突预防的平行Petri网控制系统设计  

Design of parallel Petri net control systems based on avoidance of conflicts competing for actuators

作　　者：林鑫杰 罗继亮[1,2] 李旭航 叶剑虹 LIN Xinjie;LUO Jiliang;LI Xuhang;YE Jianhong(College of Information Science and Engineering,Huaqiao University,Xiamen 361021,China;Fujian Provincial Engineering Research Center of Motor Control and System Optimal Schedule,Xiamen 361021,China;College of Computer Science and Technology,Huaqiao University,Xiamen 361021,China)

机构地区：[1]华侨大学信息科学与工程学院,福建厦门361021 [2]福建省电机控制与系统优化调度工程技术研究中心,福建厦门361021 [3]华侨大学计算机科学与技术学院,福建厦门361021

出　　处：《计算机集成制造系统》2024年第2期601-609,共9页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(61973130);福建省中央引导地方科技发展专项资助项目(2022L2012)。

摘　　要：为了获得可靠安全的控制系统,提出一种执行器冲突预防的平行Petri网设计方法。利用智能体扩展了平行Petri网定义,并设计平行Petri网执行算法;给出Petri网3种基本模块的设计方法,将生产工艺转化为Petri网模型;设计了执行机构冲突预防算法,通过添加控制库所避免Petri网进入冲突状态,得到无冲突的Petri网模型。最后,通过C语言和Twin CAT联合编程,在一个芯片检测系统上进行实验,验证了该方法的可行性和有效性。To obtain a reliable and safe control system,a method to design parallel Petri nets for actuator conflict prevention was proposed.The definition of parallel Petri nets was extended by means of the agent.The algorithm was presented to execute a parallel Petri net.The method was given to design three basic Petri net modules,and a production process was modeled as a Petri net by these modules.An algorithm was obtained to prevent Petri nets from reaching any conflict state via control places,which obtained a conflict-free Petri net model.The proposed method was realized by the joint programming in C and Twin CAT,and verified by experiments carried out on a chip detection system.

关 键 词：PETRI网 离散事件系统 智能体 冲突预防 

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