Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system | Publicación