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

En este tr abajo se presenta una metodología par a la generación automática de código par a controlador es lógicos programables (PLCs), según la norma IEC 611313. A partir del modelo del automatismo construido en redes de Petri jerárquicas, se presentan las reglas para generar el código en lenguaje...

Full description

Autores:
Zapata Madrigal, Germán
Branch Bedoya, John Willian
Quintero H., Luis F.
Tipo de recurso:
Article of journal
Fecha de publicación:
2009
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/24098
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/24098
http://bdigital.unal.edu.co/15135/
Palabra clave:
03 Obras enciclopédicas generales / Encyclopedias and books of facts
Redes de Petri Jerárquicas
Métodos Formales
Lenguajes de Programación
Modelos
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
Description
Summary:En este tr abajo se presenta una metodología par a la generación automática de código par a controlador es lógicos programables (PLCs), según la norma IEC 611313. 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, 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 semántica de éste par a 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, par a resolver problemas complejos de automatización industrial vía modularización y reusabilidad del código.