Resumen en español

En este trabajo se exporte una metodología de modelación para procesos de producción, desarollados en sistemas de manufactura integrada por computador (CIM). Esta técnica permite validar el modelo concebido sin necesidad de realizar análisis matemáticos complejos. EI modelo es transformado fácilmente a diagramas lógicos tipo LADDER. Este tipo de diagramas puede ser implementado en cualquier controlador lógico programable (PLC).