Modeling and Deadlock Control of Reconfigurable Multi-Unit Resource Systems

Most existing methods for deadlock control in multi-unit resource systems are developed based on parallel multi-unit resource deadlock algorithms and their hardware implementation. However, the rapid dynamic changes in such resource allocation systems raise the following challenging problems: (a) how to model and control deadlocks in these systems in an alternative way as modeled by Petri nets, and (b) how to quickly and effectively make Petri nets able to adapt to these dynamic changes in such configurable systems. In order to cope with these problems, this study makes five contributions: (1) propose an efficient integrated policy for designing supervisors for multi-unit resource systems based on a class of Petri nets, namely the system of simple sequential processes with resources (S³PR) which can model multi-unit resource systems; (2) improve an S²PR model to obtain a simple sequential process with resources and part-re-entry (S²PRP) that can describe how a failed part re-enters to the system and is reprocessed for a system with processing failures and rework; (3) use the siphon-based deadlock prevention policy to control S²PRP; (4) present behavioral analysis and prove that the controlled S²PRP is deadlock-free, bounded, and reversible; and (5) apply the proposed policy to a system of simple sequential processes with resources (S³PR), and constructs an improved model called system of simple sequential processes with resources and part-re-entry (S³PRP). The obtained S²PRP (S³PRP) is tested and validated using Integrated Net Analyzer (INA). Single-unit and multi-unit resource system examples are adopted to demonstrate the performance of the proposed policy.