Abstrakti, formālās modelis informācijas plūsma, kas parāda sistēmas statisko un dinamisko īpašību. A Petri neto parasti tiek attēlots kā grafikā ir divu veidu mezgli (ko sauc par vietām un pārejām) savienoti ar lokiem un marķējumu (ko sauc par žetoniem), kas norāda dinamiskās īpašības.