Abstraktno, formalni model informacijski tok, ki prikazuje statične in dinamične lastnosti sistema. A Petri neto običajno predstavlja kot graf, ki imajo dve vrsti vozlišč (imenovano krajev in prehodi), povezan z loke in oznake (imenovane žetonov), ki navajajo dinamične lastnosti.