A Coloured Timed Petri Net Model for Supply Chain Management and Performance Evaluation