Malik, S. .; Aziz, A. .; Aziz, A. .; Umar, N. . Formal Modelling and Verification of Health Care System Through Petri Nets. iRASD J. Comp. & Info Tech. 2020, 1, 45-54.