Malik, Saima, Aima Aziz, Azka Aziz, and Naveed Umar. 2020. “Formal Modelling and Verification of Health Care System Through Petri Nets”. IRASD Journal of Computer Science and Information Technology 1 (1):45-54. https://internationalrasd.org/journals/index.php/jcsit/article/view/646.