Journal
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS
Volume 51, Issue 12, Pages 7403-7412Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TSMC.2020.2971455
Keywords
System recovery; Petri nets; Manufacturing systems; Computational modeling; Monitoring; Cybernetics; Automated manufacturing system (AMS); deadlock prevention; liveness-enforcing; Petri nets
Funding
- National Natural Science Foundation of China [61573278, 61304052, 61603294, 61877048]
- National Science Foundation for Postdoctoral Scientists of China [2018m643660]
- Shandong Provincial Natural Science Foundation of China [ZR2018MF024]
Ask authors/readers for more resources
This article focuses on the deadlock problem in sequential automated manufacturing systems and proposes a method to successfully prevent deadlocks by calculating independent saturable activity circuits and adding monitors to ensure they do not saturate.
This article focuses on the problem of deadlock for sequential automated manufacturing systems (AMSs) that allow for the general resource allocation and flexible routings. A class of Petri nets, systems of sequential systems with shared resources ((SPR)-P-4), are used to model these considered AMSs. Our previous work has showed that deadlocks in (SPR)-P-4 are characterized by saturated perfect activity-circuit (PA-circuit). In this article, we divide all saturable PA-circuits into two categories: 1) dependent and 2) independent. An algorithm is proposed to compute all independent saturable PA-circuits. We prove that by adding a monitor for each independent PA-circuit to ensure that it is not saturated, all dependent PA-circuits cannot be saturated either and deadlocks in (SPR)-P-4 are successfully prevented. The presented method simplifies the structure of the deadlock controller without imposing tight constraints on the system. Finally, the proposed controller is illustrated by some examples.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available