EA08 Petri hálók dinamikus tulajdonságai
Semester:
2011. tavasz
A 15. fólián levő "hibát" (ez az előadáson bemutatott animáció utolsó állapota) javítottam. Tisztelettel kérem a hallgatóságot, hogy ha ilyen jellegű hibát, elírást talál, legyenek szívesek nekem (is) jelezni!
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
- Korlátosság
- Élőség
- Megfordíthatóság
- Visszatérő állapot
- Fedhetőség
- Perzisztencia
- Korlátozott fairség (B-fairség)
- Globális fairség
Á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 állapotérben
Petri hálók redukciós módszerei
- Állapottér redukció
- Struktúra redukció
Download:
