Quali affermazioni si possono fare conoscendo il grafo di copertura delle reti?

- se ω non compare mai nell’albero di copertura la rete è limitata - una rete di Petri è binaria se nell’albero di copertura compaiono solo 0 e 1 - una transizione è morta (0-viva) se non compare mai come etichetta di un arco