Data una marcatura M è sufficiente l'applicazione della formula Cs=0 per trovare tutti gli t invarianti ammissibili?

No, gli t-invarianti trovati non tengono conto della marcatura di partenza data che viene persa nella formula originale M' = M+Cs. gli ogni t-invariante trovato deve essere testato se compatibile con la matrice di partenza