Egy absztrakt, hivatalos információ-áramlás, statikus és dinamikus tulajdonságok, a rendszer a következő modell. A Petri-háló általában képviselteti magát, mint egy grafikon, miután két típusú csomópontok (úgynevezett helyek és átmenetek) összekötött ívek és a jelöléseket (úgynevezett tokenek) dinamikus tulajdonságok.