On the application of coloured Petri nets to computer aided assembly planning | IEEE Conference Publication | IEEE Xplore