VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS
Un aspecto fundamental de los sistemas de producción es la validación de su comportamiento. Paraobtener este comportamiento, se recurre frecuentemente a modelos matemáticos tales como redes de Petri, con el fin de validar su comportamiento concurrente, presencia/ausencia de bloqueos, y sincronizació...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Universidad Nacional de Colombia
2012-01-01
|
Series: | Dyna |
Online Access: | http://www.redalyc.org/articulo.oa?id=49623204014 |
_version_ | 1811251379199541248 |
---|---|
author | CARLOS ARTURO PARRA ORTEGA JAIME ALBERTO GUZMÁN LUNA |
author_facet | CARLOS ARTURO PARRA ORTEGA JAIME ALBERTO GUZMÁN LUNA |
author_sort | CARLOS ARTURO PARRA ORTEGA |
collection | DOAJ |
description | Un aspecto fundamental de los sistemas de producción es la validación de su comportamiento. Paraobtener este comportamiento, se recurre frecuentemente a modelos matemáticos tales como redes de Petri, con el fin de validar su comportamiento concurrente, presencia/ausencia de bloqueos, y sincronización de actividades, entre otros aspectos. A pesar de sus ventajas, el uso de redes de Petri no permite evaluar otros aspectos que son importantes en los procesos de manufactura, así como su gestión. Por tal motivo se recurre a la simulación de sistemas estocásticos y a la tecnología de agentes para obtener otros índices de desempeño. En este artículo se propone una combinación de redes de Petri, sistemas multi-agentes y sistemas estocásticos en un método propuesto para validar el comportamiento de los sistemas de producción, y se presenta como este método es usado en un ejemplo académico de manufactura. |
first_indexed | 2024-04-12T16:19:35Z |
format | Article |
id | doaj.art-f40371d2a59c41699c4a528003006264 |
institution | Directory Open Access Journal |
issn | 0012-7353 |
language | English |
last_indexed | 2024-04-12T16:19:35Z |
publishDate | 2012-01-01 |
publisher | Universidad Nacional de Colombia |
record_format | Article |
series | Dyna |
spelling | doaj.art-f40371d2a59c41699c4a5280030062642022-12-22T03:25:37ZengUniversidad Nacional de ColombiaDyna0012-73532012-01-0179173113121VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETSCARLOS ARTURO PARRA ORTEGAJAIME ALBERTO GUZMÁN LUNAUn aspecto fundamental de los sistemas de producción es la validación de su comportamiento. Paraobtener este comportamiento, se recurre frecuentemente a modelos matemáticos tales como redes de Petri, con el fin de validar su comportamiento concurrente, presencia/ausencia de bloqueos, y sincronización de actividades, entre otros aspectos. A pesar de sus ventajas, el uso de redes de Petri no permite evaluar otros aspectos que son importantes en los procesos de manufactura, así como su gestión. Por tal motivo se recurre a la simulación de sistemas estocásticos y a la tecnología de agentes para obtener otros índices de desempeño. En este artículo se propone una combinación de redes de Petri, sistemas multi-agentes y sistemas estocásticos en un método propuesto para validar el comportamiento de los sistemas de producción, y se presenta como este método es usado en un ejemplo académico de manufactura.http://www.redalyc.org/articulo.oa?id=49623204014 |
spellingShingle | CARLOS ARTURO PARRA ORTEGA JAIME ALBERTO GUZMÁN LUNA VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS Dyna |
title | VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS |
title_full | VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS |
title_fullStr | VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS |
title_full_unstemmed | VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS |
title_short | VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETS |
title_sort | validating the behavior of a supervised system using petri nets |
url | http://www.redalyc.org/articulo.oa?id=49623204014 |
work_keys_str_mv | AT carlosarturoparraortega validatingthebehaviorofasupervisedsystemusingpetrinets AT jaimealbertoguzmanluna validatingthebehaviorofasupervisedsystemusingpetrinets |