Tanszéki konzulens: 

Bartha Tamás docens Szoba: IB419 Tel.: +36 1 463-3594 Email: bartha (*) mit * bme * hu

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.