paragraph_text: okvir|Desno|Carl Adam PetriPetrijeve mreže predstavljaju sredstvo za prikaz i modeliranje dinamičkih sustavau svrhu analize njihovih ponašanja u različitim okolnostima. Ime su dobile po svom izumitelju Carlu Adamu Petriju.Njihov najveći razvoj uočava se na području modeliranja i provjere funkcionalnosti informacijskog sustava.Grafički opisuju strukturu distribuiranog sustava kao usmjereni, otežani graf koji sadrži dvije vrste čvorova, mjesta (places) i prijelaze (transitions), povezane usmjerenim spojnicama (directed arcs). Petrijeve mreže omogućavaju definiranje i simuliranje različitih stanja i procesa u promatranom sustavu te opisivanje toka informacija i objekata kroz sustav.