EA13: Petri hálók strukturális tulajdonságai

Az előadás tartalma:

Invariánsok fogalma

• Állapotegyenlet
• Tüzelési, avagy T-invariáns
• Hely, avagy P-invariáns
• Invariánsok számítása
  • Martinez-Silva algoritmus

Petri hálók további strukturális tulajdonságai

Példa Petri háló modell analízisére: Alternáló bit protokoll

Download: 

Előadás fóliák

Előadás fóliák - kiegészítés

Példa invariáns számítás

Példa modellek