Ett Petri-nät är en riktad graf med två typer av noder: platser och övergångar. Övergångar har inputbågar från platser och outputbågar till platser. På platserna finns markörer, och nätet exekveras genom att i varje steg alla övergångar som kan ta emot markörer på alla inputbågar utlöses (beräknas),