Revista: | Dyna (Medellín) |
Base de datos: | |
Número de sistema: | 000537698 |
ISSN: | 0012-7353 |
Autores: | Benitez Pina, Israel Francisco1 Lamar Carbonell, Saddid1 Silva, Robson Marinho da3 Eigi Miyagi, Paulo2 Silva, José Reinaldo2 |
Instituciones: | 1Universidade do Estado do Amazonas, Manaus, Amazonas. Brasil 2Escola Politécnica da Universidade de São Paulo, São Paulo, SP. Brasil 3Universidade Estadual de Santa Cruz, Ilhéus, Bahia. Brasil 4Universidad de Oriente, Santiago, Santiago de Cuba. Cuba |
Año: | 2017 |
Periodo: | Ene-Mar |
Volumen: | 84 |
Número: | 200 |
Paginación: | 80-89 |
País: | Colombia |
Idioma: | Inglés |
Resumen en español | Un problema práctico en sistemas automatizados es la selección entre el enfoque totalmente híbrido o la fluidización de algunas partes conservando el enfoque general de eventos discretos. Este articulo trata el enfoque basado en partes hibridas en un modelo discreto usando el ambiente unificado de Redes de Petri llamado GHENeSys (Sistema de Red Extendida Jerárquica General), compatible con la norma ISO/IEC 15909 incluyendo los conceptos de jerarquía y tiempo. Por tanto, se propone un método de diseño y una técnica GTHPN (Redes de Petri Temporizadas Hibridas GHENeSys) para modelar estas partes híbridas. Las subredes en macro-lugares controlan la explosión de estados y controlar transiciones mediante arcos extendidos de GHENeSys garantiza la efectividad de GTHPN para casos prácticos. Además, todo modelo resultante permite una fácil conversión a programas de PLCs en lenguajes IEC61131. Se presenta un caso de estudio para producción de bloques de construcción demostrando estas ventajas mencionadas. |
Resumen en inglés | A practical problem in automation systems modeling is the choice between a fully hybrid approach and the fluidization of some parts conserving the general discrete event approach. This paper explores the approach based on specific hybrid parts into a discrete event system using a unified Petri nets environment called GHENeSys (General Hierarchical Enhanced Net System), which follows the ISO/IEC 15909 standard and includes extensions such as hierarchy and time concepts. Then, a design method based on GHENeSys Timed Hybrid Petri Net (GTHPN) technique is proposed to model these hybrid parts. GHENeSys subnets are associated with macro-places and help to control combinatorial explosion and has extended arcs to guarantee the GTHPN applicability to practical cases. All resulting models of the approach proposed could also benefit from an easier conversion to PLC programs in IEC 61131 representation. A case study is presented for producing constructive blocks showing the advantages of the current proposition. |
Palabras clave: | Sistemas de automatización, Redes de Petri híbridas, Sistemas de eventos discretos, Métodos de diseño formal, Sistemas de manufactura |
Keyword: | Automation system, Hybrid Petri net, Discrete event system, Formal design methods, Manufacturing system |
Texto completo: | Texto completo (Ver HTML) Texto completo (Ver PDF) |