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.

Témacsoport: 
Ellenőrzés és tesztelés
Jelleg: 
Elméleti és gyakorlati
Konzulens: 
Bartha Tamás
TDK lehetőség: 
TDK lehetőség
Megismerhető technológiák: 
Petri hálók, modellellenőrzés, gráfelmélet
Állapot: 
Korábbi