Een abstracte, formele model van de informatiestroom, statische en dynamische eigenschappen van een systeem tonen. A Petri net wordt meestal weergegeven als een grafiek met twee soorten knooppunten (plaatsen en overgangen genoemd) met elkaar verbonden door bogen en markeringen (genaamd penningen) die dynamische eigenschappen aangeeft.