MALIK, Saima; AZIZ, Aima; AZIZ, Azka; UMAR, Naveed. Formal Modelling and Verification of Health Care System Through Petri Nets. iRASD Journal of Computer Science and Information Technology, [S. l.], v. 1, n. 1, p. 45–54, 2020. Disponível em: https://internationalrasd.org/journals/index.php/jcsit/article/view/646. Acesso em: 3 jul. 2024.