Text this: Using Timed Coloured Petri Nets for Modelling, Simulation and Scheduling of Production Systems