Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing system. - Hassane Alla; P. Ladet; J. Martinez; M. Silva-Suarez (European Workshop on Applications and Theory in Petri Nets, 1984)