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, vol. 4, no. 01, Jan. 2015, https://ijecs.in/index.php/ijecs/article/view/443.