redes de petri: problemas y prácticas


Ayer, además de la sesión teórica de introducción formal a las redes de Petri también se nos plantearon unos ejercicios para hacer en grupo en clase y completar en casa para la siguiente sesión del seminario (mañana)

1) Para las redes de Petri especificadas en la Figura 1 (a) y (b), se pide:

a) Obtener su árbol de alcanzabilidad.
b) A partir de ese árbol de alcanzabilidad, obtener la máquina de testigos de la red.
c) Obtener sus matrices de incidencia previa C, incidencia posterior C+, y de incidencia C.
d) A partir de su representación matricial, obtener los marcados que se obtienen para la red de Petri de la figura 1 (b) con las secuencias de disparo t1-t2-t3-t4-t1-t2-t3 y t1-t2-t3-t4-t2-t3-t4.

figura-1-a red de petri ejercicio 1

2) Estudiar las propiedades de las redes de Petri marcadas de la figura 1 a partir de su árbol de alcanzabilidad y de su representación matricial.

3) Modelar un sistema con una red de Petri. Se desea ordenar 7 tareas ( A, B, C, D, E, F y G) que deben realizarse indefinidamente. La especificación del orden que se desea es el siguiente:

  1. Ejecutar la tarea A.
  2. No ejecutar las tareas B y C hasta que termine la tarea A.
  3. No ejecutar la tarea D hasta que termine la tarea B.
  4. No ejecutar la tarea E hasta que terminen las tareas C y D.
  5. No ejecutar la tarea G hasta que terminen las tareas D y C.
  6. La tarea A se puede volver a ejecutar cuando acabe la tarea G.
  7. La tarea F se puede volver a ejecutar cuando acaben las tareas E y G.
  8. La tarea B se puede volver a ejecutar cuando acaben las tareas A y F y comienza de nuevo el ciclo en el paso 1

Proponer una red de Petri marcada que modele el sistema. General el árbol de alcanzabilidad. Estudiar las propiedades del sistema a partir de la red de Petri que lo modela.

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s