Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets | EKB DL