Modelamiento con GHENeSys IEC 1131 Compatible
Barra lateral del artículo
Contenido principal del artículo
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.
Descargas
Detalles del artículo
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.
Todos los textos publicados en esta revista se distribuyen bajo una Licencia Creative Commons «Reconocimiento-No Comercial-Compartir igual» desde 2020.