EA10: Petri hálók dinamikus tulajdonságai

Az előadás tartalma:

Elérhetőség fogalma, tulajdonságai

• Elérhetőség, elérhetőségi probléma

Petri hálók dinamikus (viselkedési) tulajdonságai

Állapottér reprezentációk: az elérhetőségi és fedési gráf

• Elérhetőségi gráf
• Fedési gráf
  • Fedési fa generáló algoritmus
• Petri hálók fedési fájának analízise

Dinamikus tulajdonságok vizsgálata az állapottérben

Letöltés: 

Előadás fóliák

Példa modellek