Redes de Petri Estocasticas

Politicas de Memoria
Memoria de habilitación
•Cuando una transicion dispara, los relojes de todas las
transiciones que son deshabilitadas se reinician, las
transiciones que permanecen habilitadas conservan su
valor.
•Le memoria se graba en una variable de memoria de
habilitacion asociada a cada transición.
•Esta variable cuenta el trabajo realizado por la
actividad asociada a la transición desde la ultima vez
que su reloj fue reiniciado, es decir mide el tiempo
transcurrido desde que la transición se habilitó.