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: | Juan David Contreras, Ruth Edmy Cano Buitrón, José Isidro García Melo |
---|---|
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 |
Similar Items
-
Formal Modeling and Analysis Techniques for High Level Petri Nets
by: Liu, Su
Published: (2014) -
Productive process improvement to elaborate cane train baskets, using Coloured Petri nets
by: Jesús Filander Caratar-Chaux, et al.
Published: (2018-07-01) -
SIMULATION MODELING OF IT PROJECTS BASED ON PETRI NETS
by: Александр Михайлович ВОЗНЫЙ, et al.
Published: (2015-05-01) -
Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets
by: QASIM, A., et al.
Published: (2015-08-01) -
Enhancing Formal Methods Integration with ACP2Petri
by: Slavomír Šimoňák, et al.
Published: (2016-12-01)