EA14: Petri hálók strukturális tulajdonságai
Semester:
2013. tavasz
- Invariánsok fogalma: T-invariáns, P-invariáns
- Invariánsok számítása: Martinez-Silva algoritmus
- Példa Petri háló modell analízisére: Alternáló bit protokoll
- Petri hálók további strukturális tulajdonságai
- Összefüggések a dinamikus és strukturális tulajdonságok között
