Red de Petri

Una Red de Petri es una herramienta grafica que se adapta bien a un gran número de aplicaciones en la que el conocimiento de eventos y evoluciones simultáneas son importantes

Esta teoría fue inventada por el alemán Karl Adam Petri en 1962. En su tesis doctoral “kommunication mit automaten” (Comunicación con autómatas), utilizada como método de descripción visual en la ayuda a la descripción del comportamiento de sistemas complejos.

Las redes de Petri son un formalismo para modelar, analizar, simular, controlar y evaluar el comportamiento de sistemas concurrentes. Han jugado un papel importante en el desarrollo de sistemas complejos y tecnologías con las que habitualmente interactuamos, ya que entre otras posibilidades pueden considerarse como un lenguaje formal y grafico para su modelización.

Además, las redes de Petri tienen una solida base matemática que permite el análisis cualitativo de las propiedades de tales sistemas como el interbloqueo y la acotabilidad. Sin embargo, el formalismo de las redes de Petri no ofrece una manera directa de representar características tales como cambios dinámicos de actividades, migración de tareas, modos de operación múltiple, etc., que son importantes en el diseño de sistemas concurrentes. Por ello para modelar sistemas concurrentes y distribuidos reales se utilizan extensiones de redes de Petri.

La gran aplicabilidad de esta herramienta grafica va enmarcada en todos los ámbitos naturales, lógicos matemáticos de la vida real y natural como lo puede ser el funcionamiento de un ascensor, el funcionamiento de un grupo de semáforos, el funcionamiento de un flujo de datos en una red de internet, entre muchas más.

Aplicar un modelado de un evento de un objeto x en una red petri genera datos de suma importancia en el estudio del mismo, desde el funcionamiento lógico de dicho objeto hasta encontrar errores que habitualmente el ojo humano por si solo no encontraría.

...