| PetrA - redes de Petri |
Next: Distancia sincrónica
Up: Propiedades de comportamiento
Previous: Cubrir
es persistente, si para cualesquier
par de transiciones habilitadas, el disparo de una transición no deshabilita
a la otra. Una transición en una red persistente, estará habilitada
hasta que se dispare. Esta noción de persistencia es muy utilizada en
el contexto de esquemas de programas paralelos y circuitos asíncronos
altamente independientes.