Next: Propiedades de comportamiento
Up: Modelación con redes de
Previous: Ejemplo de modelación de
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
o 
se disparan
si se recibe la respuesta 1,2, o no hay respuesta en un tiempo especificado
().
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
