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: