| Journal: | Revista politécnica |
| Database: | PERIÓDICA |
| System number: | 000435391 |
| ISSN: | 1900-2351 |
| Authors: | Contreras, Juan David1 Cano Buitrón, Ruth Edmy1 García Melo, José Isidro1 |
| Institutions: | 1Universidad del Valle, Cali, Valle del Cauca. Colombia |
| Year: | 2018 |
| Season: | Ene-Jun |
| Volumen: | 14 |
| Number: | 26 |
| Pages: | 29-41 |
| Country: | Colombia |
| Language: | Inglés |
| Document type: | Artículo |
| Approach: | Aplicado, descriptivo |
| Spanish abstract | Actualmente, los sistemas industriales deben adaptarse a los cambios de los mercados globalizados con el objetivo de ser competitivos. En ese contexto, la automatización se presenta como una solución para asegurar la eficacia y eficiencia de la producción. Sin embargo, una correcta especificación de este tipo de respuesta no es tarea trivial. Esto debido tanto al incremento en las dinámicas de los procesos que involucran personal y recursos técnicos de diferente naturaleza como a los riegos derivados de una incorrecta definición de la solución. Así, este artículo presenta un proceso estructurado que considera las semánticas de UML, Redes de Petri y EIC 1131 como herramientas de modelado para definir los requerimientos, el comportamiento y la implementación del proyecto de automatización del sistema, respectivamente. Con el objetivo de valorar el abordaje propuesto, un ejemplo de aplicación fue desarrollado. Finalmente, son enunciadas las contribuciones relevantes en el contexto de la aplicación |
| English abstract | Currently, industrial systems must adapt to changes in globalized markets in order to be competitive. In this context, automation is presented as a solution to ensure the efficiency and effectiveness of production. However, a correct specification of this kind of response is not a trivial task. This is due to the increase in the process dynamic complexity that involves personnel and technical resources of different nature as well as, risks derived from an incorrect solution definition. Thus, this article presents a structured process that considers the semantics of UML, Petri Nets as a modeling tools and automation standards to define the requirements, behavior and implementation of the system automation project. In order to assess the proposed approach, an application example was developed. Finally, the relevant contributions are stated in the context of the application |
| Disciplines: | Ingeniería |
| Keyword: | Ingeniería industrial, Procesos industriales, Métodos formales, Automatización, Redes de Petri |
| Keyword: | Industrial engineering, Industrial processes, Formal methods, Automation, Petri nets |
| Full text: | http://biblat.unam.mx/hevila/Revistapolitecnica/2018/vol14/no26/3.pdf |
