Quale formula per trovare gli t-invarianti?

Partendo dall’equazione m′=m+Cs poniamo il vincolo m′=m in quanto la sequenza deve tornare alla marcatura iniziale. Le soluzioni del sistema sono quindi: Cs=0 la sequenza di scatti trovata è tale da riportare un sistema da una marcatura M a se stessa