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

doi:10.13196/j.cims.2021.0653

Computer Integrated Manufacturing System ›› 2024, Vol. 30 ›› Issue (2): 601-609.DOI: 10.13196/j.cims.2021.0653

Previous Articles Next Articles

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

LIN Xinjie^1,2,LUO Jiliang^1,2+,LI Xuhang^1,2,YE Jianhong³

1.College of Information Science and Engineering,Huaqiao University
2.Fujian Provincial Engineering Research Center of Motor Control and System Optimal Schedule
3.College of Computer Science and Technology,Huaqiao University

Online:2024-02-29 Published:2024-03-07
Supported by:
Project supported by the National Natural Science Foundation,China(No.61973130),and the Fujian Provincial Science and Technology Development Project Led by Central Government,China(No.2022L2012).

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

林鑫杰^1,2,罗继亮^1,2+,李旭航^1,2,叶剑虹³

1.华侨大学信息科学与工程学院
2.福建省电机控制与系统优化调度工程技术研究中心
3.华侨大学计算机科学与技术学院

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

Abstract

Abstract: 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.

Key words: Petri nets, discrete-event systems, Agents, conflict prevention

摘要： 为了获得可靠安全的控制系统,提出一种执行器冲突预防的平行Petri网设计方法。利用智能体扩展了平行Petri网定义,并设计平行Petri网执行算法;给出Petri网3种基本模块的设计方法,将生产工艺转化为Petri网模型;设计了执行机构冲突预防算法,通过添加控制库所避免Petri网进入冲突状态,得到无冲突的Petri网模型。最后,通过C语言和Twin CAT联合编程,在一个芯片检测系统上进行实验,验证了该方法的可行性和有效性。

关键词: Petri网, 离散事件系统, 智能体, 冲突预防

CLC Number:

TP27
TP391

LIN Xinjie, LUO Jiliang, LI Xuhang, YE Jianhong. Design of parallel Petri net control systems based on avoidance of conflicts competing for actuators[J]. Computer Integrated Manufacturing System, 2024, 30(2): 601-609.

林鑫杰, 罗继亮, 李旭航, 叶剑虹. 基于执行器冲突预防的平行Petri网控制系统设计[J]. 计算机集成制造系统, 2024, 30(2): 601-609.

[1]	. Scheduling and path planning of multiple automatic guided vehicles in container terminals [J]. Computer Integrated Manufacturing System, 2022, 28(5): 1449-1461.
[2]	XIE Zhiqiang, ZHOU Wei, YANG Jing. Resource cooperative integrated scheduling algorithm considering hierarchical scheduling order [J]. Computer Integrated Manufacturing System, 2022, 28(11): 3391-3402.
[3]	HUANG Yue, ZHU Rui, LI Tong, WANG Jishu, TANG Yahui, LYU Changlong. Structure abstraction and behavior retention method for business process model based on complete finite prefix [J]. Computer Integrated Manufacturing System, 2022, 28(11): 3673-3690.
[4]	WANG Ying, LIU Cong, WEN Lijie, ZENG Qingtian, CHENG Long. Hierarchical multi-instance processes model discovery approach [J]. Computer Integrated Manufacturing System, 2022, 28(10): 3246-3255.
[5]	. Deadlock detection method based on Petri net mining of program trajectory [J]. , 2021, 27(9): 2611-2624.
[6]	. Dynamic decision-making of manufacturing resource based on digital twin [J]. , 2021, 27(2): 521-535.
[7]	. Modeling and simulation for enterprises' RFID adoption and internalization based on stochastic Petri nets [J]. , 2020, 26(第2): 470-480.
[8]	. Petri net-based hierarchical business process mining [J]. , 2020, 26(6): 1525-1537.
[9]	. Analyzing realizability of choreographies using Petri nets [J]. , 2020, 26(6): 1548-1556.
[10]	. Business alignments based on reachable graphs of Petri nets [J]. , 2020, 26(6): 1589-1606.
[11]	. Aligning event logs and process models based on Petri nets [J]. , 2019, 25(第4): 809-829.
[12]	. Conformance checking of business process based on artifact lifecycle mode [J]. , 2019, 25(第4): 856-863.
[13]	. Process mining approach of discovering behavior blocks based on successor relation [J]. , 2019, 25(第4): 901-908.
[14]	. Matching mechanism of physical and information processes in discrete series production system [J]. , 2019, 25(第11): 2923-2934.
[15]	. Failure response policy for revisiting dual-arm cluster tools based on Petri nets [J]. , 2019, 25(12): 3235-3246.

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

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics