thumb|right|299px|Animacija Petrijeve mreže
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.Petri nets: Properties, analysis and applications , Tadao Murata, Proceedings of the IEEE, 1989. 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 izvoriCarl Adam Petri and Wolfgang Reisig (2008) Petri net. Scholarpedia, 3(4):6477 govore da je Petrijeve mreže izumio Carl Adam Petri u augustu 1939. kada je imao samo 13 godina za opisivanje hemijskih procesa.
Također pogledajte Konačni automat Procesne mreže Khan Petri Net Markup Language Petriscript Procesna arhitektura
Literatura
Sa dozvolom autora, slobodno dostupno na ovdje.
Reference
Vanjski linkovi
Petrijeve mreže, Jasmin Velagić, Elektrotehnički fakultet Sarajevo. Učitano 13. aprila 2013. Petrijeva mreža, na scholarpedia.org. Učitano 13. aprila 2013.
Kategorija:Dijagrami Kategorija:Formalni jezici za specifikaciju Kategorija:Konkurentnost (računarstvo) Kategorija:Petrijeve mreže Kategorija:Računski modeli