Análisis de propiedades dinámicas de líneas de producto de sistemas concurrentes

Abstract

Con el desarrollo de sistemas cada vez más complejos, desde el desarrollo de herramientas software con partes comunes entre ellas hasta líneas de producción industrial, nos vemos en la necesidad de utilizar herramientas como líneas de producto para poder estudiar y analizar su comportamiento gracias a la variabilidad que nos ofrecen. Las líneas de productos nos permiten estudiar de forma aislada cada una de las partes de un proceso y después estudiar la interacción de estos subprocesos entre ellos. Estos procesos suelen ser implementados mediante grafos bipartidos llamados Redes de Petri. Estos grafos tienen la característica de poder representar un sistema a eventos, más concretamente sistemas concurrentes. El objetivo de este Trabajo de Fin de Grado se centra en procedimientos para calcular propiedades dinámicas de estas redes de Petri aplicadas a líneas de producto, implementando en este caso la generación de grafos de alcanzabilidad y grafos de alcanzabilidad con tiempo, valorando posteriormente los resultados obtenidos y la utilidad de los mismos.

With the development of increasingly complex systems, ranging from the development of software tools with common parts to industrial production lines, we find the need to use tools such as product lines to study and analyze their behavior, thanks to the variability they offer. Product lines allow us to study each part of a process in isolation and then examine the interaction of these subprocesses among themselves. These processes are often implemented using graphs called Petri Nets. These graphs have the characteristic of being able to represent a system of events, more specifically concurrent systems. The objective of this Bachelor’s Thesis focuses on procedures for calculating dynamic properties of these Petri nets applied to product lines, implementing in this case the generation of reachability graphs and reachability graphs with time, subsequently evaluating the results obtained and their usefulness.