Yra abstrakti, oficialią modelis informacijos srautą, kuriame statiniai ir dinaminiai savybių sistema. A Petri tinklai paprastai vaizduojamas kaip turintys dviejų tipų mazgai (vadinamasis vietose ir perėjimai) jungia lankų ir ženklinimo (vadinamas žetonų) dinaminės savybės grafiką.