Persistencia

Se dice que una red de Petri (N,M₀) 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.