Resumen

ZAPATA, Germán; HOYOS, Bibian  y  QUINTERO, Luis. Diseño del sistema automático para una planta piloto de recubrimientos electrolíticos: Parte I: Modelo mediante Redes de Petri Jerárquicas. Rev.fac.ing.univ. Antioquia [online]. 2008, n.45, pp. 67-76. ISSN 0120-6230.

Se presenta la descripción del diseño y automatización de una planta piloto para la electro-deposición de níquel duro empleando corriente pulsante rectangular. Para la automatización de dicho proceso se describen y emplean las redes de Petri (PN), partiendo desde su forma más básica y justificando el por qué del uso de niveles más altos de abstracción o extensiones de las mismas. Estos niveles incluyen las IPN (Redes de Petri Interpretadas), HPN (Redes de Petri jerárquicas) y, finalmente, como complemento a este artículo el uso de las HCPN (Redes de Petri Coloreadas Jerárquicas). Los resultados se ven reflejados en la reducción de la complejidad del modelo debido a las propiedades de modularización de las redes de más alto nivel.

Palabras llave : Redes de Petri jerárquicas; Métodos formales; Automatización; Diseño jerárquico y modular; Recubrimiento electrolítico.