T11: Modellezés színezett Petri-hálókkal
Semester:
2012. ősz
Témakörök:
- Modellező eszközök
-
Példa modell: Simple protocol
- A modell verifikációja
-
Másik modell: elosztott adatbázis
- A modell strukturális tulajdonságai
- Hierarchikus modellek támogatása
