Malik, S. ., Aziz, A. ., Aziz, A. ., & Umar, N. . (2020). Formal Modelling and Verification of Health Care System Through Petri Nets. IRASD Journal of Computer Science and Information Technology, 1(1), 45–54. Retrieved from https://internationalrasd.org/journals/index.php/jcsit/article/view/646