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. int. jour. eng. com. sci 2015, 4.