Le scénario
Un système de production ordonne deux types de tâches (A et B) à l’aide d’un pool partagé de 3 machines. Chaque type possède une file d’attente et un temps de traitement (A : moyenne exponentielle de 1, B : moyenne de 0,5 unité de temps). Les invariants de places garantissent la conservation du nombre total de machines.
Ce que contient ce dessin
Comprenez les décisions qui le sous-tendent.
01
Modéliser les files d’attente des tâches comme des places avec des jetons initiaux
02
Utiliser des transitions temporisées pour les temps de traitement
03
Garantir la disponibilité des machines grâce à une place de ressource partagée
Ce modèle s’applique à tout ordonnancement soumis à des contraintes de ressources, avec plusieurs classes de tâches et des temps de traitement stochastiques.