Malik, S. et al. 2020. Formal Modelling and Verification of Health Care System Through Petri Nets. iRASD Journal of Computer Science and Information Technology. 1, 1 (Dec. 2020), 45–54.