T10: Magas szintű hálók

Témakörök:

• Színezett Petri-hálók felépítése
  • CPN hálók eszközkészlete
  • Színezett Petri-hálók működése
  • Színezett Petri-háló példa
  • Színezett Petri-hálók széthajtogatása
  • Színezett Petri-hálók dinamikus tulajdonságai
  • Színezett Petri-hálók strukturális tulajdonságai
• Adatfolyam háló formalizmus
  • Adatfolyam hálók finomítása
    • Értelmezési tartomány finomítás
    • Struktúrafinomítás
• Hierarchikus Petri-hálók
  • Hierarchikus színezett Petri-hálók

Letöltés: 

Magas szintű hálók (fóliák)

Magas szintű hálók (nyomtatáshoz)