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