Back to Search
Start Over
Design of automatic control system based on unified timed hybrid Petri net
- Source :
- Repositorio UN, Universidad Nacional de Colombia, instacron:Universidad Nacional de Colombia, Dyna, Vol 84, Iss 200, Pp 80-89 (2017)
- Publication Year :
- 2017
- Publisher :
- Universidad Nacional de Colombia (Sede Medellín). Facultad de Minas., 2017.
-
Abstract
- 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. 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.
- Subjects :
- lcsh:TN1-997
0209 industrial biotechnology
Engineering
hybrid Petri net
Automatic control
Distributed computing
métodos de diseño formal
Real-time computing
redes de Petri híbridas
02 engineering and technology
manufacturing system
lcsh:Technology
020901 industrial engineering & automation
sistemas de manufactura
0202 electrical engineering, electronic engineering, information engineering
IEC 61131
automation system
discrete event system
Representation (mathematics)
lcsh:Mining engineering. Metallurgy
lcsh:T
business.industry
Event (computing)
020208 electrical & electronic engineering
General Engineering
formal design methods
Systems modeling
Petri net
Automation
sistemas de eventos discretos
62 Ingeniería y operaciones afines / Engineering
sistemas de automatización
business
Combinatorial explosion
Subjects
Details
- Language :
- Spanish; Castilian
- Database :
- OpenAIRE
- Journal :
- Repositorio UN, Universidad Nacional de Colombia, instacron:Universidad Nacional de Colombia, Dyna, Vol 84, Iss 200, Pp 80-89 (2017)
- Accession number :
- edsair.doi.dedup.....b8f97e84f967d11ad59ddbc948e3bf33