Gráfrendező algoritmusok fejlesztése Petri-háló modellekhez

OData támogatás
Konzulens:
Vörös András
Méréstechnika és Információs Rendszerek Tanszék

Munkám során Petri-háló modellek megjelenítésének automatikus rendezésével foglalkoztam. Ennek során a Méréstechnika és Információs Rendszerek tanszékén készülő PetriDotNet 2 keretrendszerhez készítettem egy eszközt, aminek segítségével a kevésbé átlátható vagy megjelenítési információval nem rendelkező Petri-hálókat lehet újrarendezni.

Az elkészült eszköz több ismert gráf rendező és átfedést megszüntető algoritmust is tartalmaz, valamint néhány egyedi fejlesztésű megoldást. A rendezésekhez egy saját, a feladathoz kialakított adatszerkezetet használ, amivel a Petri-hálót alkotó elemek egy általános gráf pontjaiként kezelhetőek. A felhasználói élmény fokázása érdekében a bonyolultabb, számítás igényesebb algoritmusok háttér szálon futnak. Az algoritmusok megvalósítása során törekedtem arra, hogy kihasználjam a Petri-hálók tulajdonságait (párosság), valamint arra, hogy az algoritmusok könnyedén paraméterezhetőek legyenek. Ennek köszönhetően a felhasználónak lehetősége nyílik arra, hogy saját paraméterezéssel futtasson algoritmusokat, valamint arra, hogy az algoritmusok kombinációjával saját rendező munkafolyamatok definiáljon.

Letölthető fájlok

A témához tartozó fájlokat csak bejelentkezett felhasználók tölthetik le.