Formal Modeling and Analysis of Integrated Healthcare System using Colored Petri Nets

Abstract

Given today's situation, when a disease like COVID-19 has engulfed the world, the importance of the Integrated Healthcare System (HCS) increases a lot. Pakistan's healthcare system is not linked. Due to which the patients have trouble in the flow required for treatment in the existing healthcare system. This research understands and integrates the healthcare system in Pakistan. For this purpose, a formal modeling technique is used which not only helps us to integrate the system but also validate and verify the system. First of all, this research reviews existing Healthcare Systems. A comprehensive survey leads to the limitations of existing architectures. To address the limitations, this research proposes an improved architecture for the healthcare system that alleviates the issues of existing architectures. To verify the proposed architecture at the design level, a formal approach is adopted. Therefore, this architecture is modeled using a well-known technique, called Colored Petri Net (CPN). State Space Analysis after simulating the model ensures its consistency and authenticity. The properties indicate that any patient who enters the system exits without any hindrance after undergoing treatment.