EA16: Adatfolyam hálók, modellfinomítás. Hierarchikus Petri hálók
Semester:
2012. tavasz
Az előadás tartalma:
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
- Hierarchikus felépítés eszközei a PetriDotNet, a Snoopy és a DNAnet eszközökben
- Hierarchikus színezett Petri hálók
