Abstraktné, formálny model toku informácií, ukazujúci statické a dynamické vlastnosti systému. A Petriho sieť zvyčajne predstavuje graf má dva typy uzlov (tzv. miesta a prechody) pripojený oblúky a označením (tzv tokeny) dynamické vlastnosti.