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