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
id UNACIONAL2_5f181372966bdc43c1f1f274c04f38c4
oai_identifier_str oai:repositorio.unal.edu.co:unal/24098
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Zapata Madrigal, Germánb69dff66-0c77-4bf4-bd81-035a3baaa8d7300Branch Bedoya, John Willian3c6549fa-e308-4c51-b84b-43f77c96efde300Quintero H., Luis F.a029b899-8037-4383-a24b-a083b15e793d3002019-06-25T22:34:16Z2019-06-25T22:34:16Z2009-06-10ISSN: 1657-­7663https://repositorio.unal.edu.co/handle/unal/24098http://bdigital.unal.edu.co/15135/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.application/pdfspaUniversidad Nacional de Colombia - Sede Medellínhttp://revistas.unal.edu.co/index.php/avances/article/view/9717Universidad Nacional de Colombia Revistas electrónicas UN Avances en Sistemas e InformáticaAvances en Sistemas e InformáticaZapata Madrigal, Germán and Branch Bedoya, John Willian and Quintero H., Luis F. (2009) Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de petri jerárquicas. Avances en Sistemas e Informatica, 4 (1). pp. 59-65. ISSN 1657-­766303 Obras enciclopédicas generales / Encyclopedias and books of factsRedes de Petri JerárquicasMétodos FormalesLenguajes de ProgramaciónModelosMetodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de petri jerárquicasArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTORIGINAL9717-16974-1-PB.pdfapplication/pdf391450https://repositorio.unal.edu.co/bitstream/unal/24098/1/9717-16974-1-PB.pdf96a39b0a090ab4cf012563a0e993d58eMD51THUMBNAIL9717-16974-1-PB.pdf.jpg9717-16974-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg10711https://repositorio.unal.edu.co/bitstream/unal/24098/2/9717-16974-1-PB.pdf.jpga31dd412634e4ac89a759ee6a9cd2f10MD52unal/24098oai:repositorio.unal.edu.co:unal/240982022-10-23 23:02:26.566Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de petri jerárquicas
title Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de petri jerárquicas
spellingShingle Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de petri jerárquicas
03 Obras enciclopédicas generales / Encyclopedias and books of facts
Redes de Petri Jerárquicas
Métodos Formales
Lenguajes de Programación
Modelos
title_short Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de petri jerárquicas
title_full Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de petri jerárquicas
title_fullStr Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de petri jerárquicas
title_full_unstemmed Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de petri jerárquicas
title_sort Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de petri jerárquicas
dc.creator.fl_str_mv Zapata Madrigal, Germán
Branch Bedoya, John Willian
Quintero H., Luis F.
dc.contributor.author.spa.fl_str_mv Zapata Madrigal, Germán
Branch Bedoya, John Willian
Quintero H., Luis F.
dc.subject.ddc.spa.fl_str_mv 03 Obras enciclopédicas generales / Encyclopedias and books of facts
topic 03 Obras enciclopédicas generales / Encyclopedias and books of facts
Redes de Petri Jerárquicas
Métodos Formales
Lenguajes de Programación
Modelos
dc.subject.proposal.spa.fl_str_mv Redes de Petri Jerárquicas
Métodos Formales
Lenguajes de Programación
Modelos
description 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.
publishDate 2009
dc.date.issued.spa.fl_str_mv 2009-06-10
dc.date.accessioned.spa.fl_str_mv 2019-06-25T22:34:16Z
dc.date.available.spa.fl_str_mv 2019-06-25T22:34:16Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.issn.spa.fl_str_mv ISSN: 1657-­7663
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/24098
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/15135/
identifier_str_mv ISSN: 1657-­7663
url https://repositorio.unal.edu.co/handle/unal/24098
http://bdigital.unal.edu.co/15135/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/avances/article/view/9717
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Avances en Sistemas e Informática
Avances en Sistemas e Informática
dc.relation.references.spa.fl_str_mv Zapata Madrigal, Germán and Branch Bedoya, John Willian and Quintero H., Luis F. (2009) Metodología para el modelado y generación de código de control de sistemas secuenciales mediante redes de petri jerárquicas. Avances en Sistemas e Informatica, 4 (1). pp. 59-65. ISSN 1657-­7663
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacional de Colombia - Sede Medellín
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/24098/1/9717-16974-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/24098/2/9717-16974-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 96a39b0a090ab4cf012563a0e993d58e
a31dd412634e4ac89a759ee6a9cd2f10
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089731433037824

Publicaciones similares