A Novel Supervisory Control Algorithm to Avoid Deadlock in a Manufacturing System Based on Petri Net in Presence of Resource Failure

TL;DR

This paper introduces a new Petri net-based supervisory control algorithm that prevents deadlocks in manufacturing systems caused by resource failures, ensuring system liveness and performance continuity.

Contribution

The paper presents a novel algorithm that models resource failure recovery in Petri nets, adding control places to maintain system liveness despite failures.

Findings

Algorithm successfully prevents deadlocks during resource failures.

System maintains boundedness and liveness in simulations.

Ensures continuous manufacturing process despite failures.

Abstract

It is well established that resource failure, including robots and machines, in a manufacturing system can result in deadlocks. This issue not only hampers the system's performance but can also inflict significant damage on the manufacturing process. In this paper, we present a new algorithm developed through modeling of a manufacturing system using Petri net that ensures the liveness of the net in the event of such a failure. To detect possible failures, we first design a recovery subnet that is integrated into the resource. Next, we analyze the effects of failures on each state of the network to identify forbidden states. Finally, we propose an algorithm that optimally adds control places and establishes new constant vectors within the network, enabling effective management of remaining resources across different parts of the net. The proposed algorithm has been implemented in a system featuring three manufacturing lines, demonstrating its error-free operation while ensuring key properties such as boundedness, liveness, and performance continuity within the net.