En abstrakt, formell modell för informationsflödet, visar statiska och dynamiska egenskaper i ett system. A Petri net representeras vanligen som ett diagram med två typer av noder (kallas platser och övergångar) ansluten med bågar och märkning (kallas tokens) som visar dynamiska egenskaper.