Proposal of a procedure for automating an industrial process using Petri Nets as a formal tool

Simple item page
dc.creatorGarcía Melo, José Isidro
dc.creatorCano Buitrón, Ruth Edmy
dc.creatorContreras, Juan David
dc.date2018-08-27
dc.date.accessioned2023-06-29T13:33:38Z
dc.date.available2023-06-29T13:33:38Z
dc.descriptionCurrently, 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.en-US
dc.descriptionActualmente, 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.es-ES
dc.formattext/html
dc.formatapplication/pdf
dc.formatapplication/xml
dc.identifierhttps://revistas.elpoli.edu.co/index.php/pol/article/view/974
dc.identifier10.33571/rpolitec.v14n26a3
dc.identifier.urihttps://repositorio.elpoli.edu.co/handle/123456789/981
dc.languageeng
dc.publisherPolitécnico Colombiano Jaime Isaza Cadavides-ES
dc.relationhttps://revistas.elpoli.edu.co/index.php/pol/article/view/974/1489
dc.relationhttps://revistas.elpoli.edu.co/index.php/pol/article/view/974/1054
dc.relationhttps://revistas.elpoli.edu.co/index.php/pol/article/view/974/1307
dc.sourceRevista Politécnica; Vol. 14 No. 26: January-June; 29-41en-US
dc.sourceRevista Politécnica; Vol. 14 Núm. 26: Enero-Junio, 2018; 29-41es-ES
dc.sourceRevista Politécnica; v. 14 n. 26: Janeiro-Junho; 29-41pt-BR
dc.source2256-5353
dc.source1900-2351
dc.subjectautomation projecten-US
dc.subjectformal methodsen-US
dc.subjectmodelingen-US
dc.subjectPetri nets.en-US
dc.titleProposal of a procedure for automating an industrial process using Petri Nets as a formal toolen-US
dc.titleProposal of a procedure for automating an industrial process using Petri Nets as a formal tooles-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion
Files
Collections
Revista Politécnica