Tabla de Contenidos:
  • Systems and Models
  • Languages and Automata
  • Supervisory Control
  • Petri Nets
  • Timed and Hybrid Models
  • Stochastic Timed Automata
  • Markov Chains
  • to Queueing Theory
  • Controlled Markov Chains
  • to Discrete-Event Simulation
  • Sensitivity Analysis and Concurrent Estimation.