Formal validation of complex production systems using coloured Petri nets | Publicación