Redes De Preti
Enviado por Irbu • 27 de Mayo de 2015 • 655 Palabras (3 Páginas) • 313 Visitas
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 cuarteta RP = (P, T, I, O), donde cada componente está compuesto por:
P = {p1, p2, p3, p4, p5} el conjunto de plazas,
T = {t1, t2, t3, t4} el conjunto de transiciones,
I (t1) = {p1} O (t1) = {p2, p3, p5},
I (t2) = {p2, p3, p5} O (t2) = {p5},
I (t3) = {p3} O (t3) = {p4},
I (t4) = {P4} O(t4) = {p2,p3}.
REDES DE PETRI: DISPARO
Los testigos son indivisibles un testigo puede quitarse
...