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ó...

Full description

Bibliographic Details
Main Authors: CARLOS ARTURO PARRA ORTEGA, JAIME ALBERTO GUZMÁN LUNA
Format: Article
Language:English
Published: Universidad Nacional de Colombia 2012-01-01
Series:Dyna
Online Access:http://www.redalyc.org/articulo.oa?id=49623204014
Description
Summary: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.
ISSN:0012-7353