Proposal of a procedure for automating an industrial process using Petri Nets as a formal tool
Date
Asesores
Journal Title
Journal ISSN
Volume Title
Publisher
Politécnico Colombiano Jaime Isaza Cadavid
Date
2018-08-27
Abstract
Description
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.
Actualmente, los sistemas industriales deben adaptarse a los cambios de los mercados globalizados con elobjetivo de ser competitivos. En ese contexto, la automatización se presenta como unasolución paraasegurar la eficacia y eficiencia de la producción. Sin embargo, una correcta especificación de este tipo derespuesta no es tarea trivial. Esto debido tanto al incremento en las dinámicas de los procesos queinvolucran personal y recursos técnicos de diferente naturaleza como a los riegos derivados de unaincorrecta definición de la solución. Así, esteartículopresenta un proceso estructurado que considera lassemánticas de UML, Redes dePetri y EIC 1131 como herramientas de modelado para definir losrequerimientos, 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.
Actualmente, los sistemas industriales deben adaptarse a los cambios de los mercados globalizados con elobjetivo de ser competitivos. En ese contexto, la automatización se presenta como unasolución paraasegurar la eficacia y eficiencia de la producción. Sin embargo, una correcta especificación de este tipo derespuesta no es tarea trivial. Esto debido tanto al incremento en las dinámicas de los procesos queinvolucran personal y recursos técnicos de diferente naturaleza como a los riegos derivados de unaincorrecta definición de la solución. Así, esteartículopresenta un proceso estructurado que considera lassemánticas de UML, Redes dePetri y EIC 1131 como herramientas de modelado para definir losrequerimientos, 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.
Titulo del recurso fuente
Keywords
automation project, formal methods, modeling, Petri nets.