S. . Malik, A. . Aziz, A. . Aziz, and N. . Umar, “Formal Modelling and Verification of Health Care System Through Petri Nets”, iRASD J. Comp. & Info Tech., vol. 1, no. 1, pp. 45–54, Dec. 2020.