Contents and Program:

  • Introduction
  • Un-timed models of discrete event systems
  • Timed models of discrete event systems
  • Stochastic timed models of discrete event systems
  • Markov chains
  • Queuing theory
  • Markovian queuing networks

Concepts

(They were written really fast, so they need to be re-written entirely, they follow the video-lectures)


Lectures