Formal Validation of Complex Production Systems Using Coloured Petri Nets

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

Abstract

Abstract is missing.