Hatékony analízis módszerek Petri hálós modellekhez

A Petri hálók a formális modellezés egyik legszemléletesebb eszközei, és ennek köszönhetően nagyon népszerűek, sok területen alkalmazzák őket. A modellek viselkedésének jellemzésére számos tulajdonságot definiáltak. Ezen tulajdonságok meghatározására is sokféle módszer létezik.

Azonban e módszerek hatékonysága, ami meghatározza az olyan fontos jellemzőket, mint a számítás gyorsasága vagy a kezelhető modellméret, a gyakorlatban egymástól jelentősen különbözhet. A hallgató feladata a szakirodalomban megtalálható olyan megoldási módszerek megismerése és megvalósítása, amelyek hatékonyan oldják meg valamilyen kiválasztott rendszertulajdonság(ok) meghatározását.