EA11: Modellezés és szimuláció Petri hálókkal
Semester:
2012. tavasz
Az előadás tartalma:
Diszkrét rendszermodellezés alapjai
Modellező eszközök: DNAnet, Snoopy, PetriDotNet
Modellezési példa: Alternáló bit protokol
Petri háló modellek „tesztelése”: szimuláció, token játék algoritmusai
- Petri hálók szimulációja
- Egyszerű szimulációs algoritmus
- Hatékony szimulációs algoritmus
- Prioritásos Petri hálók szimulációja
- Időzítés kezelése
Letöltés:
