PetrA - redes de Petri

Next: Algunas definiciones Up: Introducción a las redes Previous: Introducción a las redes

Introducción

El concepto de red de Petri apareció en 1962 con la tesis doctoral de Carl Adam Petri, "Comunicación con Autómata", en la Universidad de Bonn. A partir de entonces se difundió en Europa y Estados Unidos. Desde la década de 1970, grupos de investigación en Europa y Estados Unidos se dedicaron a estudiar sus propiedades y extender sus características. Ello ha generado una gran cantidad de artículos, libros, y conferencias sobre el tema; así como una gran cantidad de programas de aplicación en diferentes plataformas.

Las redes de Petri se pueden incorporar informalmente en cualquier área o sistema que pueda describirse gráficamente como diagrama de flujo y que necesitan algunos medios de representar actividades paralelas o concurrentes. Por ejemplo, en el área de desarrollo de software, las redes de Petri son una herramienta de validación que puede aplicarse en distintas etapas en el desarrollo de sistemas. En muchos casos ha ocurrido que para aplicar las redes de Petri a un problema, se le deben realizar modificaciones o restricciones a la definición original, lo que ha originado la aparición de una diversos tipos de redes de Petri: coloreadas o estocásticas, por mencionar algunas, son ejemplo de esto.

El punto débil de las redes de Petri, por asi llamarlo, radica en la complejidad del problema; esto es, los modelos basados en redes de Petri, siempre tienden a ser muy grandes para su análisis. Para sortear este obstáculo, diferentes autores han desarrollado técnicas de reducción al tamaño de la red; así como extensiones de sus propiedades.

Algunas áreas donde se aplican las redes de Petri son: evaluación de rendimiento, protocolos de comunicación, modelado y análisis de sistemas distribuidos, sistemas de bases de datos distribuidas, programas paralelos, programas concurrentes y programas multihilos.



PetrA | Next: Algunas definiciones Up: Introducción a las redes Previous: Introducción a las redes
ameneses@computacion.cs.cinvestav.mx / amilcar@synge.stp.dias.ie