摘要：En este trabajo se presenta una metodología para la generación automática de código para controladores lógicos programables (PLCs), según la norma IEC 61131-3. A partir del modelo del automatismo construido en redes de Petri jerárquicas, se presentan las reglas para generar el código en lenguaje de instrucciones, para 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 semántica de éste para que sea implementable en PLCs. Esta metodología permite aprovechar técnicas de ingeniería de software como la programación orientada a objetos y las capacidades de alto nivel embebidas en los controladores lógicos, para resolver problemas complejos de automatización industrial vía modularización y reusabilidad del código.
其他摘要：In this work a methodology is presented for the automatic generation of code for programmable logical controllers (PLCs), according to the norm IEC 61131-3. Starting from the model of the automatism built in hierarchical Petri nets nets, the rules are presented to generate the code in language of instructions, to guarantee with it the portability. Definitions are already recaptured outlined in the literature with respect to the formalism of the Petri nets and a contribution is made on the syntax and semantics of this so that it is appropriate for the implementation in PLCs. This methodology allows to take advantage technical of software engineering like the objectoriented programming and the capacities of high level embedded in the logical controllers, to solve complex problems of industrial automation via modularization and reusibility of the code.
关键词：Redes de Petri Jerárquicas; Métodos Formales; Lenguajes de Programación; Modelos; Automatización; Diseño de Controladores; Ingeniería de Software. Hierarchic...
