2022
DOI: 10.21015/vtse.v10i2.1094
|View full text |Cite
|
Sign up to set email alerts
|

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

Muhammad Abdul Jabbar,
Mahmood Hussain,
Saad Farooqi
et al.

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… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 62 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?