Come viene definito l'insieme di raggiungibilità R di una rete di petri P/T a partire da una marcatrura M?

È il più piccolo insieme di marcature tale che: - M∈R(P/T,M) M fa parte delle marcature raggiungibili - M′∈R(P/T, M) ∧ ∃t∈T M′ [ t > M" ) allora M″∈R(P/T,M) se M' fa parte delle marcature raggiungibili e esiste una transizione che da M' mi porta in M" allora M" fa parte delle marcature raggiungibili da M