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.