Quando una rete si dice conservativa rispetto ad una funzione H?

Si dice conservativa rispetto ad H se e solo se: ∀M′∈ R(P/T,M) ∑p∈P H(p) M′(p) = ∑p∈P H(p) M(p). ovvero se per ogni marcatura M′ raggiungibile dalla marcatura iniziale data una certa marcatura e una funzione H, si dice che la rete è conservativa se la sommatoria dei gettoni di ogni posto (quest’ultimi pesati attraverso la funzione H) è costante per qualunque marcatura raggiungibile.