Cosa consentono di fare i grafi di copertura delle reti in più rispetto ai grafi di raggiungibilità?

Consentono di analizzare anche reti illimitate tramite l'utilizzo di stati simbolici, per le marcature. questi utilizzano omega per esprimere un valore arbitrario in un posto