Modélisation des Systèmes à Evénements Discrets

  • ECTS

    2 crédits

Objectifs

Réseaux de Petri

  • Formalisation
  • Analyse des propriétés
  • Temporisation
  • Cas des graphes d'événements fortement connexes
  • Applications

Chaînes de Markov à temps continu

  • Formalisation
  • Analyse des propriétés
  • Calculs des performances
  • File d'attente
  • Applications
Lire plus

Heures d'enseignement

  • Cours MagistrauxCours Magistral10,5h
  • Travaux DirigésTravaux Dirigés10,5h
  • Travaux PratiquesTravaux Pratique9h