EA13: Redukciós módszerek, Petri háló alosztályok

Semester: 
2013. tavasz
  • Elérhetőségi probléma egyszerűsítése
    • Állapottér redukció
    • Struktúra redukció
  • Egyszerű struktúrájú Petri hálók viselkedése
    • Petri háló alosztályok strukturális jellemzői
    • Élő és bizt(onság)os tulajdonság kritériumai egyes alosztályokban