Un modello astratto, formale, del flusso di informazioni, visualizzando le proprietà statiche e dinamiche di un sistema. Una rete di Petri è solitamente rappresentato come un grafico avendo due tipi di nodi (chiamato posti e transizioni) collegati da archi e marcature (chiamato token) che indica la proprietà dinamiche.