Redes de Petri Estocasticas

Politicas de Memoria
Puede ocurrir que una transición quede desabilitada por el
disparo de otra transición con la que está en conflicto.
•¿ Que ocurre con el reloj cuando la transición se
vuelve a habilitar ?
•Mecanismos básicos
• Continuar: La transición deshabilitada “para” la
cuenta atras de su reloj y la continua la proxima vez
que la transición esta habilitada
• Reiniciar: La transición reinicia su reloj (quizá con
un nuevo valor) cada vez que se habilita.
A partir de los dos mecanismos anteriores es posible
contruir varias politicas de memoria para una transición.