PetrA - redes de Petri

Next: Propiedades de comportamiento Up: Modelación con redes de Previous: Ejemplo de modelación de

Ejemplo de Modelación de protocolos de comunicación.

Los protocolos de comunicación son otra área donde las redes de Petri se pueden utilizar para representar algunas características específicas y esenciales. Frecuentemente las propiedades, como activa y seguridad, de las redes de Petri se utilizan como criterios de validación en los protocolos de comunicación. La red de Petri que se muestra en la figura [3] es un ejemplo muy sencillo de un protocolo de comunicación entre dos procesos. La figura [4] muestra la representación de una espera de proceso no determinista donde $t_{r1}, t_{r2}$ o $t_{out}$ se disparan si se recibe la respuesta 1,2, o no hay respuesta en un tiempo especificado ($t_{out}$).
Figura:3 Modelo simplificado de un protocolo de comunicación.

Figura:4 Representación de una espera no determinista en un proceso.


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