EA14: Színezett Petri hálók (1. rész)
Semester:
2012. tavasz
Az előadás tartalma:
- A színezett Petri hálók (CPN) alapjai
- Egyszerű protokoll CPN modellje
- Elosztott adatbáziskezelő rendszer modellje
- A Design/CPN modellező eszköz tulajdonságai
-
Dinamikus analízis lehetőségei
- Dinamikus tulajdonságok
- Állapottér lekérdezések
- ASKCTL temporális logikai kérdések
- Invariánsok