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
Advisor:
Tamás Bartha
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