Modelamiento con GHENeSys IEC 1131 Compatible

• Bastidas Gustín, Gladys ^[1] ; Avila Rodriguez, Elio R ^[2] ; Benitez Pina, Israel
  1. [1] Institución Universitaria Tecnológica de Comfacauca
  2. [2] ETESA. Las tunas
• Localización: I+ T+ C: Investigación, tecnología y ciencia, ISSN-e 2805-7201, ISSN 1909-5775, Vol. 1, Nº. 3, 2009 (Ejemplar dedicado a: Revista I+T+C - Investigación, Tecnología y Ciencia), págs. 12-23
• Idioma: español
• Enlaces
  • Texto completo
• Resumen

  • El presente artículo trata un acercamiento reciente de modelado sobre redes de Petti (PN) como método formal de diseño, verificación, validación e implementación de programas de PLCs. En éste se define la red jerárquica extendida GHENEeSys IEC 1131 Compatible y se detalla una metodología que comprendeesta ted como formalismo a emplear. Ésta red persigue adaptarse a las particularidades de los PLCs como dispositivos de automatización y control, así como ganar en simplicidad, generalidad y facilidades de aplicación al aprovechar las potencialidades que brinda y que están dadas en su capacidad de obtener modelos jerárquicos, sus posibilidades de representación, su carácter general, los métodos de análisis que permite aplicar y la fácil traducción del modelo obtenido a un programa resultante IEC 1131 compatible a través de simples reglas de analogías.