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

摘要

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.