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
case report Rawal Medical Journal 2015