Analisi statica
È ora possibile introdurre due tecniche di analisi statica che si pongono come obiettivo la ricerca di invarianti all’interno della rete. Più nello specifico, esistono:
- \(P\)-invarianti: invarianti relative alla marcatura dei posti;
- \(T\)-invarianti: invarianti relative alla sequenza di scatto.