El presente articulo trata un acercamiento reciente de modelado sobre redes de Petti (PN) como metodo formal de diseno, verificacion, validacion e implementacion de programas de PLCs. En este se define la red jerarquica extendida GHENEeSys IEC 1131 Compatible y se detalla una metodologia que comprendeesta ted como formalismo a emplear. Esta red persigue adaptarse a las particularidades de los PLCs como dispositivos de automatizacion y control, asi como ganar en simplicidad, generalidad y facilidades de aplicacion al aprovechar las potencialidades que brinda y que estan dadas en su capacidad de obtener modelos jerarquicos, sus posibilidades de representacion, su caracter general, los metodos de analisis que permite aplicar y la facil traduccion del modelo obtenido a un programa resultante IEC 1131 compatible a traves de simples reglas de analogias.