Malik, Saima, Aima Aziz, Azka Aziz, and Naveed Umar. “Formal Modelling and Verification of Health Care System Through Petri Nets”. iRASD Journal of Computer Science and Information Technology 1, no. 1 (December 31, 2020): 45–54. Accessed May 2, 2024. https://journals.internationalrasd.org/index.php/jcsit/article/view/646.