Algoritmo de conversÃo de Redes de Petri coloridas para Ladder Logic Diagram (LLD)

Bibliographic Details
Main Author: Jonatha Rodrigues da Costa
Publication Date: 2014
Format: Master thesis
Language: por
Source: Biblioteca Digital de Teses e Dissertações da UFC
Download full: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=11309
Summary: Neste trabalho à apresentada uma proposta de conversÃo de modelos de cÃlulas de manufatura (FMS) em Redes de Petri Coloridas (RPC) para Ladder Logic Diagram (LLD). Explora-se modelos de RPC controlados - construidos usando-se como metodologia de controle supervisÃrio as RestriÃÃes de Controle sobre Cores Decompostas (RCCD) - e modelos nÃo controlados. Enfatiza-se a transformaÃÃo de RPC nÃo controlada para LLD e a facilidade de inclusÃo do controle. Os resultados aqui descritos demonstram que a metodologia facilita o trabalho de um programador de CLP em LLD minimizando os possÃveis erros durante a fase de programaÃÃo. Para exemplificar a metodologia foi desenvolvido um conversor de RPC para LLD, produzido em ambiente JAVA, afim de evidenciar a dinÃmica de conversÃo. Para a validaÃÃo dos resultados do conversor à usado um robà articulado vertical controlado via CLP, que opera comparativamente com e sem supervisÃo, o qual fora modelado primeiramente em RPC sem supervisÃo, depois aplicada a tÃcnica RCCD, a supervisÃo e a conversÃo para LLD.
id UFC_4ab4f554f6f86c51a7d3779b5502e623
oai_identifier_str oai:www.teses.ufc.br:7689
network_acronym_str UFC
network_name_str Biblioteca Digital de Teses e Dissertações da UFC
spelling info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisAlgoritmo de conversÃo de Redes de Petri coloridas para Ladder Logic Diagram (LLD)Algorithm Converting Colored Petri Nets for Ladder Logic Diagram (LLD)2014-01-28Giovanni Cordeiro Barroso11749890330lattes.cnpq.br/1218783106447217Auzuir Ripardo de Alexandria29359163368http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4728508P5George Andrà Pereira ThÃ62147390372http://lattes.cnpq.br/639851021046276489677846353http://lattes.cnpq.br/5005059748997042Jonatha Rodrigues da Costa Universidade Federal do CearÃPrograma de PÃs-GraduaÃÃo em Engenharia de TeleinformÃticaUFCBRConversion RPC LLD Supervisory Control Colored Petri Nets Discrete Event SystemsENGENHARIA ELETRICANeste trabalho à apresentada uma proposta de conversÃo de modelos de cÃlulas de manufatura (FMS) em Redes de Petri Coloridas (RPC) para Ladder Logic Diagram (LLD). Explora-se modelos de RPC controlados - construidos usando-se como metodologia de controle supervisÃrio as RestriÃÃes de Controle sobre Cores Decompostas (RCCD) - e modelos nÃo controlados. Enfatiza-se a transformaÃÃo de RPC nÃo controlada para LLD e a facilidade de inclusÃo do controle. Os resultados aqui descritos demonstram que a metodologia facilita o trabalho de um programador de CLP em LLD minimizando os possÃveis erros durante a fase de programaÃÃo. Para exemplificar a metodologia foi desenvolvido um conversor de RPC para LLD, produzido em ambiente JAVA, afim de evidenciar a dinÃmica de conversÃo. Para a validaÃÃo dos resultados do conversor à usado um robà articulado vertical controlado via CLP, que opera comparativamente com e sem supervisÃo, o qual fora modelado primeiramente em RPC sem supervisÃo, depois aplicada a tÃcnica RCCD, a supervisÃo e a conversÃo para LLD. In this dissertation, is presented a proposal of conversion of models of manufacturing cell (FMS) from Colored Petri Nets (CPN) to Ladder Logic Diagram (LLD). It explores the controlled CPN models - constructed using the methodology of supervisory Control Restrictions on Decomposed Colors (CRDC) - and not controlled models. It emphasizes the transformation of CPN not controlled for the LLD and ease for inclusion of control. The results described herein demonstrate that the methodology facilitates the work of a PLC programmer in LLD minimizing possible errors during the programming phase. To illustrate the methodology we developed a converter from CPN to LLD, produced in JAVA, in order to clarify the dynamic conversion environment. To validate the results of the converter, is controlled by PLC, a vertical articulated robot which works compared with and without supervision which had been firstly modeled in CPN without supervision, then applied to CRDC, the supervision and the conversion technique for LLD. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=11309application/pdfinfo:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações da UFCinstname:Universidade Federal do Cearáinstacron:UFC2019-01-21T11:24:28Zmail@mail.com -
dc.title.pt.fl_str_mv Algoritmo de conversÃo de Redes de Petri coloridas para Ladder Logic Diagram (LLD)
dc.title.alternative.en.fl_str_mv Algorithm Converting Colored Petri Nets for Ladder Logic Diagram (LLD)
title Algoritmo de conversÃo de Redes de Petri coloridas para Ladder Logic Diagram (LLD)
spellingShingle Algoritmo de conversÃo de Redes de Petri coloridas para Ladder Logic Diagram (LLD)
Jonatha Rodrigues da Costa
Conversion RPC LLD
Supervisory Control
Colored Petri Nets
Discrete Event Systems
ENGENHARIA ELETRICA
title_short Algoritmo de conversÃo de Redes de Petri coloridas para Ladder Logic Diagram (LLD)
title_full Algoritmo de conversÃo de Redes de Petri coloridas para Ladder Logic Diagram (LLD)
title_fullStr Algoritmo de conversÃo de Redes de Petri coloridas para Ladder Logic Diagram (LLD)
title_full_unstemmed Algoritmo de conversÃo de Redes de Petri coloridas para Ladder Logic Diagram (LLD)
title_sort Algoritmo de conversÃo de Redes de Petri coloridas para Ladder Logic Diagram (LLD)
author Jonatha Rodrigues da Costa
author_facet Jonatha Rodrigues da Costa
author_role author
dc.contributor.advisor1.fl_str_mv Giovanni Cordeiro Barroso
dc.contributor.advisor1ID.fl_str_mv 11749890330
dc.contributor.advisor1Lattes.fl_str_mv lattes.cnpq.br/1218783106447217
dc.contributor.referee1.fl_str_mv Auzuir Ripardo de Alexandria
dc.contributor.referee1ID.fl_str_mv 29359163368
dc.contributor.referee1Lattes.fl_str_mv http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4728508P5
dc.contributor.referee2.fl_str_mv George Andrà Pereira ThÃ
dc.contributor.referee2ID.fl_str_mv 62147390372
dc.contributor.referee2Lattes.fl_str_mv http://lattes.cnpq.br/6398510210462764
dc.contributor.authorID.fl_str_mv 89677846353
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/5005059748997042
dc.contributor.author.fl_str_mv Jonatha Rodrigues da Costa
contributor_str_mv Giovanni Cordeiro Barroso
Auzuir Ripardo de Alexandria
George Andrà Pereira ThÃ
dc.subject.eng.fl_str_mv Conversion RPC LLD
Supervisory Control
Colored Petri Nets
Discrete Event Systems
topic Conversion RPC LLD
Supervisory Control
Colored Petri Nets
Discrete Event Systems
ENGENHARIA ELETRICA
dc.subject.cnpq.fl_str_mv ENGENHARIA ELETRICA
dc.description.abstract.por.fl_txt_mv Neste trabalho à apresentada uma proposta de conversÃo de modelos de cÃlulas de manufatura (FMS) em Redes de Petri Coloridas (RPC) para Ladder Logic Diagram (LLD). Explora-se modelos de RPC controlados - construidos usando-se como metodologia de controle supervisÃrio as RestriÃÃes de Controle sobre Cores Decompostas (RCCD) - e modelos nÃo controlados. Enfatiza-se a transformaÃÃo de RPC nÃo controlada para LLD e a facilidade de inclusÃo do controle. Os resultados aqui descritos demonstram que a metodologia facilita o trabalho de um programador de CLP em LLD minimizando os possÃveis erros durante a fase de programaÃÃo. Para exemplificar a metodologia foi desenvolvido um conversor de RPC para LLD, produzido em ambiente JAVA, afim de evidenciar a dinÃmica de conversÃo. Para a validaÃÃo dos resultados do conversor à usado um robà articulado vertical controlado via CLP, que opera comparativamente com e sem supervisÃo, o qual fora modelado primeiramente em RPC sem supervisÃo, depois aplicada a tÃcnica RCCD, a supervisÃo e a conversÃo para LLD.
dc.description.abstract.eng.fl_txt_mv In this dissertation, is presented a proposal of conversion of models of manufacturing cell (FMS) from Colored Petri Nets (CPN) to Ladder Logic Diagram (LLD). It explores the controlled CPN models - constructed using the methodology of supervisory Control Restrictions on Decomposed Colors (CRDC) - and not controlled models. It emphasizes the transformation of CPN not controlled for the LLD and ease for inclusion of control. The results described herein demonstrate that the methodology facilitates the work of a PLC programmer in LLD minimizing possible errors during the programming phase. To illustrate the methodology we developed a converter from CPN to LLD, produced in JAVA, in order to clarify the dynamic conversion environment. To validate the results of the converter, is controlled by PLC, a vertical articulated robot which works compared with and without supervision which had been firstly modeled in CPN without supervision, then applied to CRDC, the supervision and the conversion technique for LLD.
description Neste trabalho à apresentada uma proposta de conversÃo de modelos de cÃlulas de manufatura (FMS) em Redes de Petri Coloridas (RPC) para Ladder Logic Diagram (LLD). Explora-se modelos de RPC controlados - construidos usando-se como metodologia de controle supervisÃrio as RestriÃÃes de Controle sobre Cores Decompostas (RCCD) - e modelos nÃo controlados. Enfatiza-se a transformaÃÃo de RPC nÃo controlada para LLD e a facilidade de inclusÃo do controle. Os resultados aqui descritos demonstram que a metodologia facilita o trabalho de um programador de CLP em LLD minimizando os possÃveis erros durante a fase de programaÃÃo. Para exemplificar a metodologia foi desenvolvido um conversor de RPC para LLD, produzido em ambiente JAVA, afim de evidenciar a dinÃmica de conversÃo. Para a validaÃÃo dos resultados do conversor à usado um robà articulado vertical controlado via CLP, que opera comparativamente com e sem supervisÃo, o qual fora modelado primeiramente em RPC sem supervisÃo, depois aplicada a tÃcnica RCCD, a supervisÃo e a conversÃo para LLD.
publishDate 2014
dc.date.issued.fl_str_mv 2014-01-28
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
status_str publishedVersion
format masterThesis
dc.identifier.uri.fl_str_mv http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=11309
url http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=11309
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal do CearÃ
dc.publisher.program.fl_str_mv Programa de PÃs-GraduaÃÃo em Engenharia de TeleinformÃtica
dc.publisher.initials.fl_str_mv UFC
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Universidade Federal do CearÃ
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFC
instname:Universidade Federal do Ceará
instacron:UFC
reponame_str Biblioteca Digital de Teses e Dissertações da UFC
collection Biblioteca Digital de Teses e Dissertações da UFC
instname_str Universidade Federal do Ceará
instacron_str UFC
institution UFC
repository.name.fl_str_mv -
repository.mail.fl_str_mv mail@mail.com
_version_ 1643295184567402496