T. A. Badmus , O. Y. Akingbade, R. A. S. O. O. (2015). Development of a Timed Coloured Petri Nets Model for Health Centre Patient Care Flow Processes. International Journal of Engineering and Computer Science, 4(01). Retrieved from https://ijecs.in/index.php/ijecs/article/view/443