EA07 Modellezés és szimuláció Petri hálókkal
Semester:
2011. tavasz
Az előadás tartalma:
Diszkrét rendszermodellezés alapjai
- Folyamatorientált modellezés
- Tevékenységek modellezése Petri hálókban
- Erőforrás allokáció Petri hálókban
- Rendszermodellezés
Automaták összevonása, direkt szorzat
- A rendszer finomítása: feltételek, szinkronizáció
- Egyszerű példa automatákkal és Petri hálóval
- Egy összetettebb szöveges példa
Hierarchikus Petri hálók, modellfinomítás
- Hierarchikus modellfinomítás
- Kompozícionalitás (Petri hálók)
- Finomítás, erőforrás modellezés
- Hierarchikus felépítés eszközei
Petri háló modellek „tesztelése”: szimuláció, token játék algoritmusai
- Petri hálók szimulációja
- Egyszerű szimulációs algoritmus
- Hatékony szimulációs algoritmus
- Prioritásos Petri hálók szimulációja
- Időzítés kezelése
