EA11: Petri hálók dinamikus tulajdonságai
Semester:
2013. tavasz
- Elérhetőség fogalma, tulajdonságai
- Petri hálók dinamikus (viselkedési) tulajdonságai
- Állapottér reprezentációk: az elérhetőségi és fedési gráf
- Dinamikus tulajdonságok vizsgálata az állapottérben
