Armando W. Colombo, Javier Martínez, Ricardo O. Carelli: Formal Validation of Complex Production Systems Using Coloured Petri Nets. ICRA 1994: 1713-1718