T08: Petri-hálók tulajdonságai
Semester:
2012. ősz
Témakörök:
- Petri-hálók vizsgálata
- Elérhetőség fogalma, tulajdonságai
-
Petri-hálók dinamikus tulajdonságai
- Állapottér reprezentációk
- Dinamikus tulajdonságok vizsgálata az állapotérben
-
Petri-hálók strukturális tulajdonságai
- Invariánsok fogalma
- Invariánsok számítása
- További strukturális tulajdonságok
- Strukturális és dinamikus tulajdonságok közti összefüggések
