Deadlock Prevention Controller for Automated Manufacturing Systems Modeled by S4PR

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.

Automated summary

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.