Un model abstract, formală fluxului de informaţii, care prezintă proprietăţi statice şi dinamice ale unui sistem. A Petri net este, de obicei reprezentat ca un grafic cu două tipuri de noduri (numit locuri şi tranziţii) legate prin arcuri şi marcaje (numit jetoane) indicând dinamic proprietăţile.