Redes De Preti

RESUMEN

Las redes de Petri surgen en 1962 con el trabajo doctoral de Carl Adam Petri en Alemania. Preti formulo la base para una teoría de comunicación entre componentes asíncronos de un sistema de cómputo, estas ideas atrajeron la atención de un grupo de investigadores del Applied Data Research Inc.

El grupo desarrollo la teoría del proyecto conocido como Systemics. Este realizo la presentación de las redes de Petri.

Las redes de preti son un modelo gráfico, formal y abstracto para describir y analizar el flujo de información, estas redes nos ayudan a mostrar información importante sobre la estructura y el comportamiento dinámico de los sistemas modelados.

Esta teoría 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, son excelentes para representar procesos concurrentes, donde pueden existir restricciones sobre la concurrencia, precedencia.

REDES DE PETRI

Es una representación matemática de un sistema distribuido discreto. Estas se utilizan para modelar el comportamiento dinámico de sistemas discretos. Se componen de dos tipos de objetos:

 Plazas: Permiten representar los estados del sistema mediante la utilización de marcas

 Transiciones: Representan el conjunto de acciones a realizar cuando se cumplen unas determinadas precondiciones en el sistema

Mediante una red de Preti pueden modelarse un sistema de evolución en paralelo compuesto de varios procesos que cooperan para la realización de un objeto común.

Metodologías Formales

VENTAJAS

 Se comprende mejor el sistema

 La comunicación con el cliente mejorar ya que se disponible de una descripción clara y no ambigua de los requisitos

 Mayor calidad software respecto al cumplimiento de las especificaciones

 Mayor productividad

DESVENTAJAS

 El desarrollo de herramienta que apoye la aplicación de métodos formales es complejo

 Los investigadores por lo general no conocen la realidad industrial

 Es escasa la colaboración entre la industria y el mundo académico

 Se considera que la aplicación de métodos formales encarece los productos y ralentiza su desarrollo

EJEMPLOS DE REDES DE PETRI

EJEMPLO 1. Considere la Red de Petri de la figura 3.1 cuya estructura está definida por la

...