transmisiones

Fundamentos de las Redes de Petri
Introducción.
Una Red de Petri es un modelo gráfico, formal y abstracto para describir y analizar el flujo de información. El análisis de las Redes de Petri ayuda a mostrar información importante sobre la estructura y el comportamiento dinámico de los sistemas modelados.

La teoría de las Redes de Petri permite larepresentación matemática del sistema a ser modelado. Las Redes de Petri son de utilidad en el diseño de sistemas de hardware y software, para especificación, simulación y diseño de diversos problemas de ingeniería.

Las Redes de Petri pueden considerarse como autómatas formales o como generadores de enguajes formales y tienen asociación con la teoría de grafos.
Son excelentes para representarprocesos concurrentes, así como, procesos donde pueden existir restricciones sobre la concurrencia, precedencia, o frecuencia de esas ocurrencias.





Historia o antecedentes.
Las Redes de Petri surgen en 1962 con el trabajo doctoral de Carl Adam Petri Kommunikation mit Automaten" (Comunicación con autómatas), en Alemania. En su disertacióndoctoral Petri formuló la base para una teoría de comunicación entre componentes asíncronos de un sistema de cómputo.

Las ideas de Petri atrajeron la atención de un grupo de investigadores del Applied Data Research Inc. Dirigido por Anatol Holt y que trabajaban en el proyecto "Information System Theory Project".

El grupo, desarrolló la teoríadel proyecto conocido como “Systemics”. Este trabajo fue el que proporcionó la teoría primaria, notación y representación de las Redes de Petri.
La teoría de Redes de Petri fue divulgada en 1968 en el reporte final del proyecto "Systemics".

Posteriormente, en el artículo titulado "Events and Conditions", publicado en 1970, Holt y Commonermuestran como las Redes de Petri pueden aplicarse al modelado y análisis de sistemas con componentes concurrentes.

El trabajo de Petri, también atrajo la atención del grupo "The Computation Structures Group", bajo la dirección de Jack Dennis, que trabajaban en un proyecto llamado "Project MAC" en el MIT.

Este grupo, ha sido una fuente productiva deinvestigaciones y literatura, publicando varias tesis doctórales, numerosos reportes y memoranda sobre Redes de Petri. Carl Adam Petri extendió su teoría original, para incluir conceptos básicos de flujo de información y de la estructura de sistemas concurrentes, estimulando investigaciones en diversos centros de investigación europeos, particularmente en el "Institut Fürlnformationssystemforschung of the Gessellschaft Für Mathematik und Datenverarbeitung" en Bonn, Alemania.
Holt continuó con el desarrollo de nuevos conceptos a partir de su trabajo original en "Systemics", se concentró en el desarrollo de herramientas para la representación y análisis de sistemas.

Su trabajo lo realizó principalmente en lainvestigación de aspectos fundamentales de concurrencia y conflicto en sistemas con múltiples partes. En el MIT y muchos otros centros de investigación Americanos, enfocaron inicialmente sus investigaciones sobre Redes de Petri hacia la teoría de autómatas.

En la actualidad, existe gran difusión de los avances en Redes de Petri yprácticamente existe una sola corriente entre los investigadores Europeos y los Americanos, ya que la comunicación existente entre todos los grupos beneficia el conocimiento de los nuevos avances.

Definiciones Básicas.
Las Redes de Petri están compuestas de cuatro componentes básicos que forman su estructura: Un conjunto de plazas P, un conjunto de...