Fault-Recovery and Robust Deadlock Control of Reconfigurable Multi-Unit Resource Allocation Systems Using Siphons

Mahmoud Salaheldin Elsayed,Gaiyun Liu,Almetwally M Mostafa,Passent El Kafrawy,Abeer Ali Alnuaim

doi:10.1109/access.2021.3073639

Abstract

A multi-unit resource allocation system usually contains several processes and a number of resources with multiple units. Due to the competition for shared resources in these systems, deadlocks may occur. Recently, researchers have shown an increased awareness in deadlock control strategies for such a kind of systems without considering the dynamic changes such as processing failures and rework by using the Petri net paradigm. This article reports a new strategy for deadlock analysis and control in reconfigurable multi-unit resource systems (MRSs). We discuss a generalized class of Petri nets in which each stage of a process may require a number of units of different types of resources to perform a task. In this way, we can model more complex real systems. Thanks to a generalized class of Petri nets, i.e., the system of sequential systems with shared resources (S 4 R), this article proposes an effective integrated strategy for designing robust supervisors for reconfigurable MRSs, and improves an S 4 R model to achieve a new model, namely a system of sequential systems with shared resources and part-re-entry (S 4 RP), which represents the procedure that a flawed product re-enters a system and is re-processed. We use a siphon-based max-controllability deadlock prevention policy (DPP) to supervise the evolution of the S 4 RP, and present a comprehensive analysis to demonstrate that the controlled S 4 RP is free of deadlocks. A net analysis tool (INA) is used to test and validate the resulting S 4 RP.

Highlights

From the viewpoint of resource capacity, there are two distinct types of resource allocation systems: single-unit resource systems (SRSs) and multi-unit resource systems (MRSs)
The main goal of the current study was to design a new deadlock prevention policy (DPP) for preventing the occurrences of deadlocks in a reconfigurable MRS by excogitating a novel Petri nets (PNs) subclass, S4RP for short, which addresses the case of processing failures and rework, and represents the process that a flawed part re-enters the underlying system to be re-processed
We apply a siphon-based max-controllability DPP to make the proposed S4RP live through adding external control elements