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
