Che cosa sono i p-invarianti e quale è il loro scopo?

Un P-invariante è un insieme di posti tale per cui, indipendentemente da come i gettoni vengono spostati tra i posti della rete, il numero totale di gettoni in quei posti rimane lo stesso possono essere utilizzati per l'analisi statica: - determinare la raggiungibilità di una marcatura - determinare se una rete è conservativa(quando un p-invariante ha solo pesi positivi)