Metodología para el Modelado y Generación de Código de Control de Sistemas Secuenciales mediante Redes de Petri Jerárquicas.

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 object-oriented programming and the capacities of high level embeddedin the logical controllers, to solve complex problems of industrialautomation via modularization and reusibility of the code.