On the analysis and synthesis of coloured Petri nets | IEEE Conference Publication | IEEE Xplore