Malik, Saima, et al. “Formal Modelling and Verification of Health Care System Through Petri Nets”. IRASD Journal of Computer Science and Information Technology, vol. 1, no. 1, Dec. 2020, pp. 45-54, https://internationalrasd.org/journals/index.php/jcsit/article/view/646.