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...
- 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
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. |
---|