Le Reti di Petri, proposte nel 1962 da Carl Adam Petri, sono uno strumento per la modellizzazione di processi ed in particolare per la modellizzazione