A Modelling Approach with Coloured Petri Nets