Stato base e rete revertibile
Una marcatura \(M’\) si dice stato base di una rete se per ogni marcatura \(M\) in \(R(M_0)\), \(M’\) è raggiungibile da \(M\), ovvero qualunque sia lo stato attuale della rete è sempre possibile raggiungere la marcatura \(M’\).
Quando la marcatura iniziale \(M_0\) è lo stato base della rete per ogni marcatura \(M\) in \(R(M_0)\) allora la rete si dice reversibile, ovvero lo stato iniziale è uno stato base.