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 2.3 es un ejemplo muy sencillo de un protocolo de comunicación entre dos procesos. La figura 2.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).

  

Figure 2.3: Modelo simplificado de un protocolo de comunicación.

  

Figure 2.4: Representación de una espera no determinista en un proceso.