EA18: Sztochasztikus Petri hálók

Semester: 
2013. tavasz
  • Alapszintű formalizmus: Folytonos idejű Markov láncok (CTMC)
  • Modellezés: Sztochasztikus Petri hálók (SPN, GSPN, DSPN)
  • Követelmény formalizálás: Sztochasztikus temporális logikák (CSL)