T. A. BADMUS , O. Y. AKINGBADE, R. A. S. O. O. Development of a Timed Coloured Petri Nets Model for Health Centre Patient Care Flow Processes. International Journal of Engineering and Computer Science, india, v. 4, n. 01, 2015. Disponível em: https://ijecs.in/index.php/ijecs/article/view/443. Acesso em: 23 jul. 2024.