Robust modelling and simulation : integration of SIMIO with coloured Petri nets /: integration of SIMIO with coloured Petri nets. (2017)