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 July 3, 2024. https://internationalrasd.org/journals/index.php/jcsit/article/view/646.