A fault tolerant coloured Petri net resource allocation manager for manufacturing systems | IEEE Conference Publication | IEEE Xplore