Malik, S. . (2020) “Formal Modelling and Verification of Health Care System Through Petri Nets”, iRASD Journal of Computer Science and Information Technology, 1(1), pp. 45–54. Available at: https://journals.internationalrasd.org/index.php/jcsit/article/view/646 (Accessed: 3 May 2024).