EA17: Sztochasztikus Petri hálók
Semester:
2012. tavasz
Az előadás anyaga:
- Alapszintű formalizmus: Folytonos idejű Markov láncok
- Sztochasztikus Petri hálók (SPN, GSPN, DSPN)
- Sztochasztikus temporális logikák (CSL)
Letöltés:
