Design of automatic control system based on unified timed hybrid Petri net



Título del documento: Design of automatic control system based on unified timed hybrid Petri net
Revista: Dyna (Medellín)
Base de datos:
Número de sistema: 000537698
ISSN: 0012-7353
Autores: 1
1
3
2
2
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:
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)