Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de Petri jerárquicas



Título del documento: Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de Petri jerárquicas
Revista: Avances en sistemas e informática
Base de datos: PERIÓDICA
Número de sistema: 000341168
ISSN: 1657-7663
Autores: 1
2
1
Instituciones: 1Universidad Nacional de Colombia, Escuela de Ingeniería Eléctrica, Medellín, Antioquia. Colombia
2Universidad Nacional de Colombia, Escuela de Ingeniería de Sistemas, Medellín, Antioquia. Colombia
Año:
Periodo: Jun
Volumen: 4
Número: 1
Paginación: 59-66
País: Colombia
Idioma: Español
Tipo de documento: Artículo
Enfoque: Aplicado, descriptivo
Resumen en español 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
Resumen en inglés 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
Disciplinas: Ciencias de la computación,
Ingeniería
Palabras clave: Programación,
Ingeniería de control,
Software,
Redes de Petri,
Controladores,
Sistemas secuenciales
Keyword: Computer science,
Engineering,
Programming,
Control engineering,
Software,
Petri networks,
Controllers,
Sequential systems
Texto completo: Texto completo (Ver PDF)