Work

Deadlock prevention in flexible manufacturing systems: A verification-free resource configuration approach for liveness of finite-capacity S 3 PR

Year: 2025

Type: article

Source: Transactions of the Institute of Measurement and Control

DOI: 10.1177/01423312251369553

Authors: Shanchen Pang, Liqi Wan, Junjie Chen, Min Wang, Hao Yue

Institutions: China University of Petroleum, East China, Yangzhou University

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Natural Science Foundation of China, Natural Science Foundation of Shandong Province

Awards: G4423525907, G7682083154, 自动化集装箱码头水平运输系统建模与无死锁控制研究

OpenAlex ID: W4414375876

FWCI: 0.993

Cites: 41

Cited by: 2

Related to: