PetrA - redes de Petri

Next: Ejemplo de Modelación de Up: Modelación con redes de Previous: Modelación con redes de

Ejemplo de modelación de flujo de datos

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 $t_1$ y $t_2$, y se pueden ejecutar concurrentemente y depositar sus resultados --$(a+b)$ o $(a-b)$-- en sus respectivos lugares de salida.
Figura:2 Se muestra el flujo de datos de la computación para $x=\frac{(a+b)}{(a-b)}$.


ameneses@computacion.cs.cinvestav.mx / amilcar@synge.stp.dias.ie