Modeling and Analysis of Medical Resource Sharing and Scheduling for Public Health Emergencies based on Petri Nets

Abstract

Medical information systems (MIS) play a vital role in managing and scheduling medical resources to underpin healthcare services, which has become more critically important during major public health emergencies. During the Covid-19 pandemic, MIS is facing significant challenges to cope with the surge in demands of medical resources, resulting in more deaths and wider spreading of the disease. Our research examines how to allocate and utilize the medical resources across hospitals in a more accurate, and effective way to mitigate medical resource shortages and sustain the resource provisions. This paper mainly investigated the hospital’s supply-and-demand problems for medical resources under major public health emergencies by analyzing the allocation of medical staff resources. Furthermore, a formal method based on the Colored Petri Nets (CPN) has been proposed to model and characterize the medical business process and resource scheduling tasks. The experiments demonstrate that our approach can correctly and efficiently complete the dynamical scheduling process for surging requests.