Computer Aided Assembly Planning Based on Coloured Petri Nets