EA17: Adatfolyam hálók, modellfinomítás. Hierarchikus Petri hálók
Semester:
2013. tavasz
-
Adatfolyam hálók:
- Felépítésük és formális definíciójuk.
- Informális szemantika: Engedélyezettség és tüzelés.
- Adatfolyam hálók finomítása
-
Hierarchikus Petri hálók, modellfinomítás
- Finomítás Petri hálónál
-
Hierarchikus modellezés
- Az "Hierarchikus protokoll CPN modellje" példához további dokumentációt találhatunk angol nyelven itt