En abstrakt, formel model informationsstrøm, viser statiske og dynamiske egenskaber af et system. A Petri net er normalt repræsenteret som en graf har to typer af knuder (kaldet steder og overgange) forbundet med buer og mærkning (kaldet tokens) med dynamiske egenskaber.