Petrijeva mreža
Petrijeva mreža (na engl. Petri net, također poznata kao "place/transition net" ili "P/T net") jeste jedna od nekoliko matematičkih jezika za modeliranje sistema za obradu podataka karakterizirani kao istovremeni, asinhroni, distribuirani, nedeterministički, i/ili stohastički. Petrijeva mreža je usmjereni bipartitni graf u kojem čvorovi opisuju prijelaze (engl. transitions - događaji koji se mogu desiti, označeno pravougaonicima) i mjesta (engl. places - uslovi, označeno krugovima). Usmjerene grane opisuju koja su mjesta pred- i/ili poslijeuslov za dešavanje prijelaza. Neki izvori govore da je Petrijeve mreže izumio Carl Adam Petri u augustu 1939. kada je imao samo 13 godina za opisivanje hemijskih procesa.