A szakdolgozat célja, annak vizsgálata, hogy Petri hálók, színezett Petri hálók segítségével a P4 nyelvű programok mely funkciói modellezhetőek és a létrehozott modellek segítségével milyen tulajdonságok vizsgálhatóak. A dolgozat részét képezi konkrét esettanulmányok esetén a modell megalkotása, tulajdonságok megfogalmazása és vizsgálata.