Formal Modelling and Verification of Health Care System Through Petri Nets

Abstract

Now a day's, research has focused on the health care system to make people's lives easier and more manageable. The primary objective is to extend health care systems and services across different domains while assuring connectivity and automated exchange. The health care system, modelling, and deployment are the focus of the recent study. However, several issues still need further investigation, particularly in flexible modelling, extendable implementation, and privacy. Formal verification and modelling using a formal analysis indicated several results. This contribution presents a realistic paradigm for the healthcare system, particularly for emergency services. The proposed model's correctness is confirmed by the results obtained. The first step is to generalize a meta-model to instantiate the model for a variety of services, not just health care. Our ultimate goal is a health care system that may be used in various ways. Extensible, secure services are built into the system, which can be used in several situations.