R. A. S. O. O. T. A. Badmus , O. Y. Akingbade, “Development of a Timed Coloured Petri Nets Model for Health Centre Patient Care Flow Processes”, int. jour. eng. com. sci, vol. 4, no. 01, Jan. 2015.