En abstrakt, formelle modell av informasjonsflyt, viser statiske og dynamiske egenskapene til et system. A Petri netto representeres vanligvis som en graf å ha to typer noder (kalt steder og overganger) forbundet med buer og merkene (kalt symboler) indikerer dynamiske egenskaper.