EA12: Elérhetőségi probléma egyszerűsítése, Petri háló alosztályok
Semester:
2012. tavasz
Az előadás tartalma:
Elérhetőségi probléma egyszerűsítése
-
Állapottér redukció
- A részleges sorrendezési reláción alapuló redukció alapötlete
-
Struktúra redukció
- Soros összevonások
- Párhuzamos összevonások
Egyszerű struktúrájú Petri hálók viselkedése
-
Petri háló alosztályok
- Állapotgép (State Machine, SM)
- Jelölt gráf (Marked Graph, MG)
- Szabad választású háló (Free-Choice Net, FC)
- Kiterjesztett szabad választású háló (EFC)
- Aszimmetrikus választású háló (AC)
- Élő és bizt(onság)os tulajdonság kritériumai
Letöltés:
