EA15: Színezett Petri hálók (2. rész)

Semester: 
2012. tavasz

Az előadás tartalma:

  • Színezetlen és színezett Petri hálók összehasonlítása
  • Színezett Petri hálók felépítése
    • Színezett Petri háló példa: elosztott adatbázis
  • Színezett Petri hálók működése
    • Engedélyezettség színezett Petri hálókban
    • Őrfeltétel
    • Tüzelés színezett Petri hálókban
    • Lekötött és lekötetlen változók
  • Színezett Petri hálók széthajtogatása
  • Színezett Petri hálók analízise
    • Dinamikus tulajdonságok
    • Invariánsok