EA12: Modellezés és szimuláció Petri hálókkal
Semester:
2013. tavasz
- 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