Next: Ejemplo de Modelación de
Up: Modelación con redes de
Previous: Modelación con redes de
La red de Petri que se muestra en la figura [2]
representa un sistema donde se realiza una computación de
flujo de datos cuando las instrucciones se habilitan para ejecutarse
cuando llegan sus operandos, y se pueden ejecutar concurrentemente.
En la representación de redes de Petri de la computación
de flujo de datos, los tokens denotan los valores actuales de los datos,
así como la disponibilidad del dato. En la red que se muestra
en la figura [2], las instrucciones están
representadas por las transiciones
y , y se pueden ejecutar
concurrentemente y depositar sus resultados -- o --
en sus respectivos lugares de salida.
Figura:2
Se muestra el flujo de datos de la computación para
.
|
ameneses@computacion.cs.cinvestav.mx /
amilcar@synge.stp.dias.ie