On the application of Coloured Petri Nets to Computer Aided Assembly Planning