Formal validation of complex production systems using coloured Petri nets | IEEE Conference Publication | IEEE Xplore