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...
Weighted Petri nets are common tools for modeling and validating discrete event systems involving resource allocation, such as flexible manufacturing systems (FMSs). A subclass of weighted Petri nets called a system of sequential systems with shared resources (S4R) has the power for modeling complex FMSs where the execution of an operation may require multiple resource types and multiple units of some resource types. Deadlock resolution is a crucial issue for the operation of an FMS. A direct and efficient policy is developed in this paper for detecting deadlock markings by extracting a weighted resource flow graph (WRFG) from an S4R and recovering them by synthesizing a recovery-transition...
Poster presented in The Saudi international medical education conference SIMEC 2022
PAKISTAN JOURNAL OF HEALTH SCIENCES P J M H S Vol. 16, No. 07, July 2022 495
PAKISTAN JOURNAL OF HEALTH SCIENCES https://thejas.com.pk/index.php/pjhs Volume 3, Issue 3 (August 2022)
Pakistan Journal of Medical and Health Sciences 15 (4), 997-999
Vol. 35 No. 1 (2023): JOURNL OF AYUB MEDICAL COLLEGE ABBOTTABAD published 02.02.2023
Pakistan Journal of Medical and Health Sciences 2021 Volume 15 Issue 2Pages 469-472