Sztochasztikus analízis
A PetriDotNet keretrendszer alkalmas sztochasztikus modellek (Petri hálók) definiálására, továbbá a beépülő modulok hatékonyan bejárják az állapotteret, melyet kompakt formában tudnak tárolni.
A hallgató feladata a meglévő algoritmusok fölé egy sztochasztikus analízist (Markov analízis) végző modul implementálása, amely során megismerkedhet az általános, megbízhatósági és teljesítmény modellezésben használatos analízis módszerekkel.
A keretrendszer megtekinthető a következő címen: https://www.inf.mit.bme.hu/research/tools/petridotnet
Jelleg:
Elméleti és gyakorlati
Advisor:
András Vörös
TDK lehetőség:
TDK lehetőség
Megismerhető technológiák:
C#
Előismeretek:
algoritmusok, valszám, de leginkább lelkesedés
Állapot:
Folyamatban 
