En este tr abajo se presenta una metodologia par a la generacion automatica de codigo par a controlador es logicos programables (PLCs), segun la norma IEC 611313. A partir del modelo del automatismo construido en redes de Petri jerarquicas, se presentan las reglas para generar el codigo en lenguaje de instrucciones, par a garantizar con ello la portabilidad. Se retoman definiciones ya planteadas en la literatura referente al formalismo de la redes de Petri y se hace un aporte sobre la sintaxis y semantica de este par a que sea implementable en PLCs. Esta metodologia permite aprovechar tecnicas de ingenieria de software como la programacion orientada a objetos y las capacidades de alto nivel embebidas en los controladores logicos, par a resolver problemas complejos de automatizacion industrial via modularizacion y reusabilidad del codigo.