基于执行器冲突预防的平行Petri网控制系统设计
来源：计算机集成制造系统杂志2024年第2期北京时间：
作者：林鑫杰, 罗继亮, 李旭航, 叶剑虹
单位：1.华侨大学信息科学与工程学院2.福建省电机控制与系统优化调度工程技术研究中心3.华侨大学 计算机科学与技术学院
摘要：为了获得可靠安全的控制系统,提出一种执行器冲突预防的平行Petri网设计方法。利用智能体扩展了平行Petri网定义,并设计平行Petri网执行算法;给出Petri网3种基本模块的设计方法,将生产工艺转化为Petri网模型;设计了执行机构冲突预防算法,通过添加控制库所避免Petri网进入冲突状态,得到无冲突的Petri网模型。最后,通过C语言和Twin CAT联合编程,在一个芯片检测系统上进行实验,验证了该方法的可行性和有效性。
关键词：Petri网,离散事件系统,智能体,冲突预防
基金资助：国家自然科学基金资助项目(61973130);福建省中央引导地方科技发展专项资助项目(2022L2012)。
