Modelación, simulación de funcionamiento y evaluación de prestaciones de protocolos de red con redes de Petri

Abstract

Las técnicas de análisis cualitativas y cuantitativas utilizadas para la evaluación de las redes de telecomunicaciones, y específicamente las de los protocolos de red, tienen constantes progresos. Un resultado concreto es la producción continua de trabajos diversos para modelar y analizar la corrección y la performance del funcionamiento de diversos protocolos. Sin embargo, las Redes de Petri han demostrado ser la herramienta base para la introducción de descripciones exactas de aplicaciones complejas, y que proveen la posibilidad de explotar la estructura de sus modelos para desarrollar un mejor entendimiento de la conducta dinámica de los sistemas y para deducir técnicas de análisis efectivas. El trabajo se propone establecer de una manera uniforme, y con el uso de las Redes de Petri, las características, similitudes y diferencias cualitativas y cuantitativas, entre algunos de los protocolos de red de canal compartido utilizados en el ámbito de las redes LAN y WAN. Es decir, se utilizarán las Redes de Petri como modelo matemático, compilando las novedades teórico-prácticas de esta materia, y se seleccionarán herramientas apropiadas de modelación, simulación y de evaluación de performance, para investigar propiedades o características de los protocolos, que otras del tipo analíticas no ponen totalmente de relieve, o que permitan demostrar que ambos enfoques son complementarios. Además, se realizarán experiencias prácticas para validar alguno de los modelos de Red de Petri. Finalmente, a partir de ello, se buscará establecer una secuencia alternativa de enseñanza-aprendizaje de los protocolos de red de canal compartido, usando este instrumento matemático.