Formal Validation of Complex Production Systems Using Coloured Petri Nets.

Armando W. Colombo, Javier Martnez, Ricardo O. Carelli

Browse the full ICRA paper archive.