section_heading: Definicija
paragraph_text: Petrijeve mreže su metoda za apstraktni prikaz svih tipova procesa (npr. upravljanje strojevima, proizvodna traka...).Važno je da kod opisa procesa treba točno definirati vremenske i uzročne međuodnose. Formalno se Petrijeve mreže definiraju kao uređena šestorka (S, T, F, K, W, M0), pri čemu je: Jednostavnije; razlikuje se pozicija (skup S) od tranzicije (skup T). Niti jedan objekt se ne može nalaziti u oba skupa, te između dva objekta (koji se nalaze u različitim skupovima) može postojati relacijski tok (strelica F). Pozicijama se dodjeljuju dva prirodna broja K i M0, a strelicama prirodni broj F. U primjeni se koriste pozicije koje mogu sadržavati jednu ili više marki. Koliko marki može sadržavati pozicija govori kapacitet K, a koliko stvarno sadrži pokazuje broj marki M. Za razliku od pozicija, tranzicije nemaju dodatne parametre. One predstavljaju aktivne elemente, jer se njihovom aktivacijom mijenja raspored marki u pozicijama, što se naziva okidanje .Uz strelice navodi se broj, tj. faktor koji kod prekidanja utječe na tok marki, a naziva se težina strelice. okvir|lijevo|Grafički prikaz Petrijevih mreža