Hola

Instituto Tecnológico de Morelia

Departamento de Sistemas y Computación

Fundamentos de las Redes de Petri
(Capítulo 2, Ferreira)
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 lossistemas modelados. • La teoría de las Redes de Petri permite la representació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 lenguajes formales y tienenasociación con la teoría de grafos. • Son excelentes para representar procesos concurrentes, así como, procesos donde pueden existir restricciones sobre la concurrencia, precedencia, o frecuencia de esas ocurrencias.

Redes de Petri como un modelo de especificación formal

1

Instituto Tecnológico de Morelia

Departamento de Sistemas y Computación

Historia
• Las Redes de Petri surgen en 1962con el trabajo doctoral de Carl Adam Petri "Kommunikation mit Automaten" (Comunicación con autómatas), en Alemania. • En su disertación doctoral 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 trabajabanen el proyecto "Information System Theory Project". • El grupo, desarrolló la teoría del 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 Commoner muestran 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 de investigacionesy literatura, publicando varias tesis doctórales, numerosos reportes y memoranda sobre Redes de Petri.

Redes de Petri como un modelo de especificación formal

2

Instituto Tecnológico de Morelia

Departamento de Sistemas y Computación

• 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ür lnformationssystemforschung 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 desistemas. • Su trabajo lo realizó principalmente en la investigació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.

Redes de Petri como un modelo de especificación formal

3

Instituto Tecnológico de Morelia

Departamento de Sistemas y Computación

Definiciones Básicas.
• Las Redes de Petri están compuestas de...