Control Law for Two-Process Flexible Manufacturing Systems Modeled Using Petri Nets
Year: 2025
Type: article
Abstract: The deadlock control problem in flexible manufacturing systems (FMSs) has received much attention in recent years. The formalism of the Petri net is employed to effectively model, analyze, and control deadlocks in an FMS case study. There are many kinds of deadlock prevention strategies based on the Petri net approach, where computational complexity is a major problem that needs to be considered. Based on the Petri net theory, this paper focuses on the two special subclasses in the S3PR net, namely the dual-process S3PR and the dual-process US3PR, in a bid to prevent deadlocks in an FMS. The relationship between the net structural characteristics and the deadlocks reached was analyzed, and then a regular method of adding controllers for these two models was proposed to reduce computational complexity.
Source: Mathematics
DOI: 10.3390/math13040611
Authors: Yang Yang, Junjun Yang, Na Liang, Chunfu Zhong
Institutions: Xidian University, Lanzhou Jiaotong University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold
Estimated APC paid: $3,137
Funder: Gansu Education Department
Award: G2030575159
OpenAlex ID: W4407528813
