PROPOSAL OF A PROCEDURE FOR AUTOMATING AN INDUSTRIAL PROCESS USING PETRI NETS AS A FORMAL TOOL
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...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Politécnico Colombiano Jaime Isaza Cadavid
2018-06-01
|
Series: | Revista Politécnica |
Subjects: | |
Online Access: | https://revistas.elpoli.edu.co/index.php/pol/article/view/974 |
id |
doaj-9fd9c604d74c416396432c78790c8dc1 |
---|---|
record_format |
Article |
spelling |
doaj-9fd9c604d74c416396432c78790c8dc12020-11-25T02:45:33ZengPolitécnico Colombiano Jaime Isaza CadavidRevista Politécnica1900-23512256-53532018-06-011426294110.33571/rpolitec.v14n26a3PROPOSAL OF A PROCEDURE FOR AUTOMATING AN INDUSTRIAL PROCESS USING PETRI NETS AS A FORMAL TOOLJuan David Contreras0Ruth Edmy Cano Buitrón1José Isidro García Melo2Mechanical engineer. Universidad del Valle. Cali-Colombia.Mechanical engineer. Universidad del Valle. Cali-Colombia.PhD in Mechatronics. Universidad del Valle. Cali-Colombia.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.https://revistas.elpoli.edu.co/index.php/pol/article/view/974automation projectformal methods; modelingpetri nets |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Juan David Contreras Ruth Edmy Cano Buitrón José Isidro García Melo |
spellingShingle |
Juan David Contreras Ruth Edmy Cano Buitrón José Isidro García Melo PROPOSAL OF A PROCEDURE FOR AUTOMATING AN INDUSTRIAL PROCESS USING PETRI NETS AS A FORMAL TOOL Revista Politécnica automation project formal methods; modeling petri nets |
author_facet |
Juan David Contreras Ruth Edmy Cano Buitrón José Isidro García Melo |
author_sort |
Juan David Contreras |
title |
PROPOSAL OF A PROCEDURE FOR AUTOMATING AN INDUSTRIAL PROCESS USING PETRI NETS AS A FORMAL TOOL |
title_short |
PROPOSAL OF A PROCEDURE FOR AUTOMATING AN INDUSTRIAL PROCESS USING PETRI NETS AS A FORMAL TOOL |
title_full |
PROPOSAL OF A PROCEDURE FOR AUTOMATING AN INDUSTRIAL PROCESS USING PETRI NETS AS A FORMAL TOOL |
title_fullStr |
PROPOSAL OF A PROCEDURE FOR AUTOMATING AN INDUSTRIAL PROCESS USING PETRI NETS AS A FORMAL TOOL |
title_full_unstemmed |
PROPOSAL OF A PROCEDURE FOR AUTOMATING AN INDUSTRIAL PROCESS USING PETRI NETS AS A FORMAL TOOL |
title_sort |
proposal of a procedure for automating an industrial process using petri nets as a formal tool |
publisher |
Politécnico Colombiano Jaime Isaza Cadavid |
series |
Revista Politécnica |
issn |
1900-2351 2256-5353 |
publishDate |
2018-06-01 |
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. |
topic |
automation project formal methods; modeling petri nets |
url |
https://revistas.elpoli.edu.co/index.php/pol/article/view/974 |
work_keys_str_mv |
AT juandavidcontreras proposalofaprocedureforautomatinganindustrialprocessusingpetrinetsasaformaltool AT ruthedmycanobuitron proposalofaprocedureforautomatinganindustrialprocessusingpetrinetsasaformaltool AT joseisidrogarciamelo proposalofaprocedureforautomatinganindustrialprocessusingpetrinetsasaformaltool |
_version_ |
1724761924808212480 |