Come viene definita una rete di petri?

La rete viene definita tramite una tupla [P,T,F,W,M0] P : insieme dei posti T : insieme delle transizioni F : relazione di flusso W : funzione che associa un peso ad ogni flusso M0 : marcatura iniziale(assegnamento dei gettoni)