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://internationalrasd.org/journals/index.php/jcsit/article/view/646 (Accessed: 24 November 2024).