Modelisation

Les files d'attente

• Définitions et notations
• Processus de Poisson
• Principe du « taux entrant = taux sortant »
• Modèles M/M/s et d'Erlang
• Formules de Pollaczeck-Kintchine
• Ordonnancement

Les réseaux de files d'attente

• Définitions
• Réseaux de Jackson

Introduction aux Réseaux de PETRI

• Places, transitions, arcs
• Marquage, franchissement

Formalisme et propriétés

• Représentation matricielle
• Séquence de transition
• Les « bonnes » propriétés
• Graphe des marquages
• Arbre de couverture

Analyse par algèbre linéaire et analyse structurelle

• Semi flots, invariants
• Verrou, trappes, machine à états

Simulation et analyse de réseaux

• Construction statistique
• Simulation et supervision des réseaux