Análisis de un sistema de eventos discretos mediante redes de petriZ

Abstract

El presente trabajo es un compendio de investigaciones realizadas acerca de Redes Petri, de tipos Regular, Temporalizada y Estocástica. En primera instancia, se definen los Sistemas de Eventos Discretos, con su amplio campo de descripción; y los Grafos de Eventos, como herramienta para modelación y análisis, destacando de entre estos las Redes Petri. Se describe a las Redes Petri en su forma fundamental, con sus reglas de funcionamiento básicas, sus elementos y las clasificaciones debidas a estos, sus complementos, extensiones y aplicaciones típicas. Luego se desarrolla la teoría relacionada a las Redes Petri, concluyendo en formas útiles de análisis. El análisis será tomado en cuenta desde los puntos de vista de la teoría de sistemas, y del método exacto enumerativo, respectivamente para el estudio del comportamiento dinámico y el cálculo de índices que evalúen el comportamiento estable de un sistema. Aquí se incluyen fundamentos que sustentan los tipos de análisis; como son la descripción de semianillos y la resolución de sistemas estocásticos. Se indican referencias que permiten la resolución de problemas de programación lineal, relacionados a las Redes Petri. Además, con objetivo de comprobar la teoría y facilitar el análisis, se presentan casos de estudio en los que se usa el Petri Nets Toolbox del Matlab (PNTOOL), como software especializado.