EA13 Sztochasztikus Petri hálók
Semester:
2011. tavasz
Az előadás tartalma:
- Motiváció
-
Sztochasztikus folyamatok és modellek
- Folytonos idejű Markov láncok
-
Sztochasztikus Petri-hálók
- SPN, GSPN, DSPN, TPN, SRN
- Időzítési szemantikák
-
Követelmények formalizálása
- Sztochasztikus temporális logikák
